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


Loading