operational semantics
operational semantics An approach to the semantics of programming languages that uses the concept of an “abstract machine” that has a state and some primitive instructions or rules that cause the states to change. The machine is defined by specifying how the components of the state are changed by each of the instructions or rules. Computations are sequences of state transitions. The abstract machine is not meant to be a model of any realistic machine or machine language; it is meant to be simple enough so that the language can be unambiguously defined by simple rules for state transitions. The semantic description of a programming language specifies a translation into this operational model. Examples of this approach include the Vienna Definition Language used to define PL/I, which was the first method for defining the semantics of a programming language.
More From encyclopedia.com
Programming Language , In order for computers to accept commands from humans and perform tasks vital to productivity and e-commerce, a means of communication must exist. Pr… Automation , Automation is the use of scientific and technological principles in the manufacture of machines that take over work normally done by humans. This def… Turing Machine , British mathematician Alan Turing (1912–1954) described what became known as the "Turing Machine" in his 1936 paper, "On Computable Numbers, with an… Sewing Machine , Background
Before 1900, women spent many of their daylight hours sewing clothes for themselves and their families by hand. Women also formed the majo… Computer Language , computer language System of words and rules used to program a computer. Most computers work using a binary-coded language (using 1s and 0s) called ma… Konrad Zuse , Zuse, Konrad
ZUSE, KONRAD
d. Hünfeld, Germany, 18 December 1995), logic, computers, programming, computer industry.
Zuse is popularly recognized in G…
You Might Also Like
NEARBY TERMS
operational semantics