Global State Considered Helpful

Electronic Notes in Theoretical Computer Science

Volumn 218, Issue C, 2008, Pages 241-259

  Levy, Paul Blain ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

categorical semantics; game semantics; good variables

Indexed keywords

INFORMATION THEORY; SEMANTICS;

CATEGORICAL SEMANTICS; CATEGORICAL STRUCTURES; GAME SEMANTICS; GLOBAL STATES; GOOD VARIABLES; OPERATIONAL SEMANTICS; REYNOLDS; STORAGE CELLS;

GAME THEORY;

EID: 54049156901     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.10.015     Document Type: Article

References (22)

1. Abramsky, S., K. Honda and G. McCusker, A fully abstract game semantics for general references, in: Proceedings, 13th Annual IEEE Symposium on Logic in Computer Science, 1998, pp. 334-344
2. Abramsky S., and McCusker G. Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions. In: O'Hearn P.W., and Tennent R.D. (Eds). Algol-like languages (1997)
3. Abramsky S., and McCusker G. Call-by-value games. In: Nielsen M., and Thomas W. (Eds). Computer Science Logic: 11th International Workshop Proceedings. LNCS (1998) 1-17
4. Benton N., and Leperchey B. Relational reasoning in a nominal semantics for storage. Proceedings. Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Lecture Notes in Computer Science vol. 3461 (2005) 86-101
5. Bohr N., and Birkedal L. Relational reasoning for recursive types and references. In: Kobayashi N. (Ed). APLAS. Lecture Notes in Computer Science vol. 4279 (2006) 79-96. http://dx.doi.org/10.1007/11924661_5
6. de Lataillade, J., "Quantification du second ordre en smantique des jeux - Application aux isomorphismes de types," Ph.D. thesis, Université Paris Diderot (Paris 7) (2007)
7. Hyland J.M.E., and Ong C.-H.L. On full abstraction for PCF: I, II, and III. Information and Computation 163 (2000)
8. Laird J. A categorical semantics of higher-order store. Proc. 9th Conference on Category Theory and Computer Science. Ottawa, 2002. Electronic Notes in Theoretical Computer Science vol. 69 (2003)
9. Laird J. A fully abstract trace semantics for general references. In: Arge L., Cachin C., Jurdzinski T., and Tarlecki A. (Eds). ICALP. Lecture Notes in Computer Science vol. 4596 (2007) 667-679. http://dx.doi.org/10.1007/978-3-540-73420-8_58
10. Levy P.B. Adjunction models for call-by-push-value with stacks. Theory and Applications of Categories 14 (2005) 75-110
11. Levy P.B. Infinite trace equivalence. Annals of Pure & Applied Logic 151 (2008)
12. McCusker G. On the semantics of the bad-variable constructor in Algol-like languages. Proceedings. MFPS 2003. ENTCS 83 (2003)
13. Murawski A.S. Bad variables under control. In: Duparc J., and Henzinger T.A. (Eds). CSL. Lecture Notes in Computer Science vol. 4646 (2007) 558-572. http://dx.doi.org/10.1007/978-3-540-74915-8_41
14. O'Hearn P.W., and Tennent R.D. Parametricity and local variables. Journal of the ACM 42 (1995) 658-709
15. Oles F.J. Functor categories and store shapes. In: O'Hearn P.W., and Tennent R.D. (Eds). Algol-like languages (1997), Birkhaüser
16. Petric Z. Coherence in substructural categories. Studia Logica 70 (2002) 271-296
17. Pitts A.M., and Stark I.D.B. Observable properties of higher order functions that dynamically create local names, or: What's new?. Mathematical Foundations of Computer Science, Proc. 18th Intl. Symp. Gdańsk, 1993. LNCS vol. 711 (1993) 122-141
18. Plotkin G., and Power J. Notions of computation determine monads. Proceedings, Foundations of Software Science and Computation Structures. 2002. LNCS vol. 2303 (2002) 342-356
19. Reddy U.S. Global state considered unnecessary: An introduction to object-based semantics. Lisp and Symbolic Computation 9 (1996) 7-76
20. Reynolds J.C. The essence of Algol. In: de Bakker J.W., and van Vliet J.C. (Eds). Algorithmic Languages (1981) 345-372
21. Stark, I.D.B., "Names and Higher-Order Functions," Ph.D. thesis, University of Cambridge (1994)
22. Tzevelekos N. Full abstraction for nominal general references. LICS (2007) 399-410