Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Abstract Machine Notation

You are here: irt.org | FOLDOC | Abstract Machine Notation

<language> (AMN) A language for specifying abstract machines in the B-Method, based on the mathematical theory of Generalised Substitutions.


Nearby terms: abstract interpretation « abstraction « abstract machine « Abstract Machine Notation » abstract syntax » Abstract Syntax Notation 1 » abstract syntax tree

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb