Stump, Aaron
Programming Language Foundations/ Aaron Stump - First edition - Hoboken, NJ: Wiley, 2013 - x, 326 pages: illustrations; 24 cm
"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. "-- Provided by publisher.
Includes bibliographical references (pages 321-323) and index
9781118007471
Programming languages (Electronic computers)
Programming languages (Electronic computers)--Semantics
005.1 STU 2014
Programming Language Foundations/ Aaron Stump - First edition - Hoboken, NJ: Wiley, 2013 - x, 326 pages: illustrations; 24 cm
"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. "-- Provided by publisher.
Includes bibliographical references (pages 321-323) and index
9781118007471
Programming languages (Electronic computers)
Programming languages (Electronic computers)--Semantics
005.1 STU 2014