Index: 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

Home > 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 .

This article is a stub. You can help Wikipedia by [ ṣlocalurl: : |action=edit}} expanding it].

References

This article was originally based on material from the Free On-line Dictionary of Computing, which is used under the GFDL.

Domain-specific programming languages

Read more »

<Hide>

Topics: Abstract Machine Notation, Abstract Algebra, Abstract Data Type...

Abstract algebraAbstract algebra Abstract algebra is the field of mathematics concerned with the study of algebraic structures such as groups, rings and fields. The term "abstract algebra" is used to distinguish the field from " elementary algebra" or "high school algebr	Abstract data typeAbstract data types or ADTs are datatypes described in terms of the operations they support—their interface—rather than how they are implemented. An ADT consists of two components: an interface and an implementation. Users of an ADT are aware of the inter	AbstractionThis article is about the concept of abstraction in general. For other uses, please see abstract (disambiguation). Abstraction is the thought process wherein ideas are distanced from objects. Abstraction uses a strategy of simplification of detail, wherei
Abstract factory patternA software design pattern, the Abstract Factory Pattern provides a way to encapsulate a group of individual factories that have a common theme. In normal usage, the client software would create a concrete implementation of the abstract factory and then us	Abstract interpretationAbstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information ab	Abstraction (computer science)Object-oriented programming In computer science, abstraction refers to two related, but different concepts. Software development In software development, abstraction is the process of combining multiple smaller operations into a single unit that can be re
Abstract machine	Abstract Machine Notation	Abstract syntax
Abstract syntax notation one	Abstract syntax tree	Abstract-Type and Scheme-Definition Language
Abstract Windowing Toolkit	Abstract expressionism	Abstract impressionism

Non User