Abstract Machine Notation
- 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.
References
ee also
* Formal methods
* Formal specification
Wikimedia Foundation.
2010.
Look at other dictionaries:
Abstract machine — An abstract machine, also called an abstract computer, is a theoretical model of a computer hardware or software system used in Automata theory. Abstraction of computing processes is used in both the computer science and computer engineering… … Wikipedia
Abstract Syntax Notation One — In telecommunications and computer networking, Abstract Syntax Notation One (ASN.1) is a standard and flexible notation that describes data structures for representing, encoding, transmitting, and decoding data. It provides a set of formal rules… … Wikipedia
Categorical abstract machine — (CAM) is the model of computation of a program [ Cousineau G., Curien P. L., Mauny M. The categorical abstract machine. LNCS, 201, Functional programming languages computer architecture. 1985, pp. 50 64.] , which preserves the abilities of… … Wikipedia
Abstract syntax — The abstract syntax of data is its structure described as a data type (possibly, but not necessarily, an abstract data type), independent of any particular representation or encoding. To be implemented either for computation or communications, a… … Wikipedia
Finite-state machine — State machine redirects here. For infinite state machines, see State transition system. For fault tolerance methodology, see State machine replication. SFSM redirects here. For the Italian railway company, see Circumvesuviana. A finite state… … Wikipedia
Oracle machine — In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems. It can be visualized as a Turing machine with a black box, called an oracle, which is able to decide certain decision… … Wikipedia
Dance notation — La Cachucha, by Friedrich Albert Zorn. Dance notation is the symbolic representation of dance movement. It is analogous to movement notation but can be limited to representing human movement and specific forms of dance such as Tap dance. Various… … Wikipedia
Reverse Polish notation — (or just RPN) by analogy with the related Polish notation, a prefix notation introduced in 1920 by the Polish mathematician Jan Łukasiewicz, is a mathematical notation wherein every operator follows all of its operands. It is also known as… … Wikipedia
Benesh Movement Notation — (also known as choreology and dance script ) is a system of dance notation that can document any form of dance or human movement. Invented by Joan and Rudolf Benesh in the late 1940s, the system uses abstract symbols based on figurative… … Wikipedia
Hungarian notation — is a naming convention in computer programming, in which the name of a variable indicates its type or intended use. There are two types of Hungarian notation: Systems Hungarian notation and Apps Hungarian notation .Hungarian notation was designed … Wikipedia