Sharing and State : a fully abstractgame semantics for Idealized Algol with activeexpressionsExtended

  • AbstractSamson Abramsky
  • Published 1996

Abstract

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, focuses on \Idealized Algol", an elegant synthesis of imperative… (More)

Topics

  • Presentations referencing similar topics