kirancodes.me
To Proof Maintenance & Beyond!

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

Graham Hutton

Abstract

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 is easy as 1,2,3.

Related papers