Linearity, Sharing and State: A Fully Abstract Game Semantics for Idealized Algol with Active Expressions
Samson Abramsky, Guy McCusker · Birkhäuser Boston eBooks · 1997
The manipulation of objects with state which changes over time is all-pervasive in computing. Perhaps the simplest example of such objects are the program variables of classical imperative languages. An important strand of work within the study of such languages, pioneered by John Reynolds, focusses on Idealized Algol , an elegant synthesis of imperative and functional features. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.