Tags: Programming Language.

The abstract machine notation (AMN) is a specification language and (abstract) programming language for specifying abstract machines in the B method based on the mathematical theory of generalised substitutions.

Loading...

This page contains content from the copyrighted Wikipedia article "Abstract machine notation"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.