Abstract Machine Notation

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

References

 

<< PreviousWord BrowserNext >>
cilicia
tumucumaque national park
blind spot
ideology
life cycle cost analysis
transportation planning
castor bean
grande arche
wild hunt
electrical discharge machining
project planning
porridge
department of essential drugs and medicines
eleanor cross
unterseeboot 123
sherwood forest plantation
nose
arbroath
princess bride
shining
serbian language
croatian language
time machine
benjamin harrison v
two lamps
ronnie barker
flag of mexico
abstract syntax
abstract syntax notation one
jean chrtien
abstract syntax tree
ast
nidhogg
las vegas (disambiguation)
petra kelly
minimalist trance
carl hiaasen
sauna
lituus
hyperthermia
game classification
battle of almansa
sweat lodge
list of chess world championship matches