Abstract Machine Notation

Technology Dictionary -> Abstract Machine Notation

Search:

Abstract Machine Notation



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

(1995-03-13)