Computing Dictionary(AMN) A language for specifying abstract machines in the b-method, based on the mathematical theory of generalised substitutions.
| Sponsored Links: | |||
| Computing Dictionary | |||
| Definition: | (AMN) A language for specifying abstract machines in the b-method, based on the mathematical theory of generalised substitutions. | ||
| See Also: | language | ||
| |||
| COPYRIGHT © 2000-2009 HYPERDICTIONARY.COM | HYPERDICTIONARY.COM |