Computer Dictionary/Abstract Machine Notation

From En.18dao.net
Jump to: navigation, search

(AMN) A language for specifying abstract machines

in the B-Method, based on the mathematical theory of Generalised Substitutions.


Discussion about "Computer Dictionary/Abstract Machine Notation":

None Discussion Now.

Add Discussion