Stock image for illustration purposes only - book cover, edition or condition may vary.
Algebraic Approaches to Program Semantics
Manes, Ernest G.; Arbib, Michael A.
€ 112.47
FREE Delivery in Ireland
Description for Algebraic Approaches to Program Semantics
Paperback. Series: Monographs in Computer Science. Num Pages: 366 pages, biography. BIC Classification: UM; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 158 x 234 x 24. Weight in Grams: 566.
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 languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a ... Read more
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 languages in which programs could be written in a convenient fashion independent (thanks to compilers and interpreters) of the architecture of any specific machine. The development of such languages led in turn to the general analysis of questions of syntax, structuring strings of symbols which could count as legal programs, and semantics, determining the "meaning" of a ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag New York Inc. United States
Number of pages
366
Condition
New
Series
Monographs in Computer Science
Number of Pages
353
Place of Publication
New York, NY, United States
ISBN
9781461293774
SKU
V9781461293774
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algebraic Approaches to Program Semantics