Aminol Reference Manual

Abstract

AMINOL is a high-level machine language for creating and managing virtual processes in a network of multi-processing systems. It is a language with which logical operating system functions may be factored and safely delegated among a hierarchy of processes. Facilities are provided to enable processes to create resources, define resource access mechanisms, and allocate these down the process tree with protection implicitly guaranteed. AMINOL possesses the necessary quality for any machine language in that every possible program stream is syntactically well-formed and semantically well-defined. In addition there are capabilities for operations on structured objects, for the introduction of typed values, and for definitional extension.