For more than twenty years now we have been using the language of integers and addition as a minimal setting in which to explore different aspects of programming language semantics. However, this language has never been the subject of an article in its own right. This article fills this gap, by showing how a range of semantic ideas can be presented in a simple manner through the lens of integers and addition. In this setting, it’s easy as 1,2,3.

This thread was posted by one of our members via one of our automated news source trackers.