Programming Language Foundations

By Chris Knight and Rudolf P. Botha

Book Overview

Stump's Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional. Programming Language Foundations provides: an even coverage of denotational, operational an axiomatic semantics; extensions to concurrent and non-deterministic versions; operational semantics for untyped lambda calculus; functional programming; type systems; and coverage of emerging topics and modern research directions.

• Format: Paperback
• Language: English
• ISBN: 1118007476
• ISBN13: 9781118007471
• Release Date: September 2013
• Publisher: Wiley
• Length: 336 Pages
• Weight: 1.30 lbs.
• Dimensions: 0.8" x 7.5" x 9.1"