Programming Language Foundations

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. Cover......Page 1 Contents......Page 5 Preface......Page 13 Part I: Central Topics......Page 19 Chapter 1: Semantics of First-Order Arithmetic......Page 21 Chapter 2: Denotational Semantics of While......Page 45 Chapter 3: Axiomatic Semantics of While......Page 77 Chapter 4: Operational Semantics of While......Page 107 Chapter 5: Untyped Lambda Calculus......Page 137 Chapter 6: Programming in Untyped Lambda Calculus......Page 161 Chapter 7: Simple Type Theory......Page 179 Part II: Extra Topics......Page 217 Chapter 8: Nondeterminism and Concurrency......Page 219 Chapter 9: More on Untyped Lambda Calculus......Page 243 Chapter 10: Polymorphic Type Theory......Page 281 Chapter 11: Functional Programming......Page 297 Mathematical Background......Page 327 References......Page 333 Index......Page 336 "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 "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."--Résumé de l'éditeur