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.
Author(s): Aaron Stump
Edition: 1st
Publisher: Wiley
Year: 2013
Language: English
Pages: 338
Tags: Библиотека;Компьютерная литература;
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
