Algebraic Approaches to Program Semantics

by Ernest G. Manes, Michael A. Arbib, Ernest G. Manes Michael A. Arbib

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 1461293774
• ISBN13: 9781461293774
• Release Date: January 2014
• Publisher: Springer
• Length: 353 Pages
• Weight: 1.15 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"