Full Abstraction for the Second-Order Subset of an Algol-like Language
Kurt Sieber · Birkhäuser Boston eBooks · 1997
We present a denotational semantics for an Algol -like language, Alg , which is fully abstract for the second-order subset. This constitutes the first significant full-abstraction result for a block-structured language with local variables. As all the published ‘test equivalences’ [MS88, Len93, 0T95] for Algol -like languages are contained in the second-order subset, they can all be validated (easily) in our denotational model. 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.