Abstract Machine Notation

<language> (AMN) A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.

Last updated: 1995-03-13

Try this search on Wikipedia, OneLook, Google

Nearby terms: abstract interpretation « abstraction « abstract machine « Abstract Machine Notation » abstract syntax » Abstract Syntax Notation 1 » abstract syntax tree


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.