Theories of Programming Languages

DOI10.1017/CBO9780511626364MaRDI QIDQ3631317zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Practical foundations for programming languages
• Programming languages: Principles and paradigms
• Introduction to the theory of programming languages.
• scientific article; zbMATH DE number 3924098
• scientific article; zbMATH DE number 709368

Cited in

(13)

• Reasoning about iteration and recursion uniformly based on big-step semantics
• Semantics, specification logic, and Hoare logic of exact real computation
• scientific article; zbMATH DE number 4039334 (Why is no real title available?)
• Programming languages and their definition. Selected papers ed. by C. B. Jones
• Programming languages: Design, analysis, and semantics
• Towards a theory of semantics and compilers for programming languages
• A Theoretical Foundation for Programming Languages Aggregation
• scientific article; zbMATH DE number 2021769 (Why is no real title available?)
• A topology on lattice-ordered groups
• Introduction to the theory of programming languages.
• Some Approaches to, and Illustrations of, Programming Language History
• Practical foundations for programming languages
• scientific article; zbMATH DE number 51768 (Why is no real title available?)

This page was built for publication: Theories of Programming Languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3631317)