Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Abstract_machine_notation> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Abstract_machine_notation abstract "The 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.".
- Abstract_machine_notation wikiPageID "75621".
- Abstract_machine_notation wikiPageRevisionID "580105480".
- Abstract_machine_notation hasPhotoCollection Abstract_machine_notation.
- Abstract_machine_notation subject Category:Formal_specification_languages.
- Abstract_machine_notation type Abstraction100002137.
- Abstract_machine_notation type Communication100033020.
- Abstract_machine_notation type FormalSpecificationLanguages.
- Abstract_machine_notation type Language106282651.
- Abstract_machine_notation type ProgrammingLanguage.
- Abstract_machine_notation type Software.
- Abstract_machine_notation type Work.
- Abstract_machine_notation type CreativeWork.
- Abstract_machine_notation type InformationEntity.
- Abstract_machine_notation comment "The 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.".
- Abstract_machine_notation label "Abstract machine notation".
- Abstract_machine_notation sameAs m.0k0wc.
- Abstract_machine_notation sameAs Q4669949.
- Abstract_machine_notation sameAs Q4669949.
- Abstract_machine_notation sameAs Abstract_machine_notation.
- Abstract_machine_notation wasDerivedFrom Abstract_machine_notation?oldid=580105480.
- Abstract_machine_notation isPrimaryTopicOf Abstract_machine_notation.