dictionary help| Abstract Machine Notation | computing dictionary |
(AMN) A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.
(01 Mar 1995)
abstraction, abstraction, abstractitious, abstract machine < Prev | Next > abstract syntax, Abstract Syntax Notation 1
Bookmark with:      | word visualiser | Go and visit our forums  |
