Theories of Programming Languages

DOI10.1017/CBO9780511626364zbMath1184.68157OpenAlexW1530632793MaRDI QIDQ3631317

John C. Reynolds

Publication date: 8 June 2009

Full work available at URL: https://doi.org/10.1017/cbo9780511626364

zbMATH Keywords

functional programmingimperative programming

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) General topics in the theory of software (68N01)

Related Items (2)

Reasoning about iteration and recursion uniformly based on big-step semantics ⋮ A topology on lattice-ordered groups

This page was built for publication: Theories of Programming Languages