About: Abstract Machine Notation

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.

Property	Value
dbpprop:abstract	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.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Abstract_Machine_Notation
rdf:type	http://dbpedia.org/class/yago/FormalSpecificationLanguages
rdfs:comment	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.
rdfs:label	Abstract Machine Notation
owl:sameAs	freebase:Abstract Machine Notation http://umbel.org/umbel/ne/wikipedia/Abstract_Machine_Notation
skos:subject	dbpedia:Category:Formal_specification_languages
foaf:page	http://en.wikipedia.org/wiki/Abstract_Machine_Notation
is dbpprop:redirect of	dbpedia:B_specification_language
is owl:sameAs of	yago:Abstract Machine Notation