Ergebnisse für: Program semantics

Hier findest Du Bücher, die sich mit Program semantics beschäftigen.

Buch Cover Algebraic Approaches to Program Semantics
Algebraic Approaches to Program Semantics
Ernest G. Manes, Michael A. Arbib
Springer US
85.55 € · Hardcover
Boolean algebra computer control evolution formal language formal languages functional programming mathematical logic program semantics programming programming language proof proving semantics
In the 1930s, mathematical logicians studied the notion of "effective comput ability" using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years saw the evolution of higher-level programming lang...