Home > Electronics Tutorials > Online Computer Terms Dictionary > A

Online Computer Terms Dictionary - A

Abstract Machine Notation

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

(1995-03-13)

 


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

Discover

     more......