Make eBroadcast my Homepage | Contact Us   Return To The Main eBroadcast Homepage
Australia
Web Guide Search
Australia
Welcome It's
Australia
Australia
Web Guide: Encyclopedia
EBroadcast Australia
Powered by Wikipedia
Contents

Abstract Machine Notation

Redirected from AMN Abstract Machine Notation (AMN) is a computer programming language for specifying abstract machines in the B-Method[?], based on the mathematical theory of Generalised Substitutions[?].

This article is based on material from FOLDOC, used with permission. Update as needed.

Elsewhere
EBroadcast Australia
Search engine
Web directory
CONTENTS:
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

Australia
eBroadcast Australia
Australia © 06 eBroadcast Australia | About eBroadcast | Legal Notices | Privacy Policy | Contact Us    Return To The Main eBroadcast Homepage