Linearity, Sharing and State: A Fully Abstract Game Semantics for Idealized Algol with Active Expressions
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Games and full abstraction for FPCPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Parametricity and local variablesJournal of the ACM, 1995
- Fully Abstract Semantics for Observably Sequential LanguagesInformation and Computation, 1994
- Functions as processesMathematical Structures in Computer Science, 1992
- Syntactic control of interferencePublished by Association for Computing Machinery (ACM) ,1978
- LCF considered as a programming languageTheoretical Computer Science, 1977