Programming language semantics: It’s easy as 1,2,3

HUTTON, GRAHAM

Abstract

Programming language semantics is an important topic in theoretical computer science, but one that beginners often find challenging. This article provides a tutorial introduction to the subject, in which the language of integers and addition is used as a minimal setting in which to present a range of semantic concepts in simple manner. In this setting, it’s easy as 1,2,3.

Citation

HUTTON, G. (2023). Programming language semantics: It’s easy as 1,2,3. Journal of Functional Programming, 33, Article e9. https://doi.org/10.1017/S0956796823000072

• Journal Article Type: Article
• Acceptance Date: Sep 23, 2023
• Online Publication Date: Oct 26, 2023
• Publication Date: 2023
• Deposit Date: Sep 16, 2024
• Publicly Available Date: Sep 26, 2024
• Journal: Journal of Functional Programming
• Print ISSN: 0956-7968
• Electronic ISSN: 1469-7653
• Publisher: Cambridge University Press
• Peer Reviewed: Peer Reviewed
• Volume: 33
• Article Number: e9
• DOI: https://doi.org/10.1017/S0956796823000072
• Public URL: https://nottingham-repository.worktribe.com/output/25373324
• Publisher URL: https://www.cambridge.org/core/journals/journal-of-functional-programming/article/programming-language-semantics-its-easy-as-123/EC2C046CF94382B3B408036B84475DC7
• Additional Information: Part of JFP Tutorial Papers