Global state considered unnecessary: An introduction to object-based semantics
- 1 February 1996
- journal article
- research article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 9 (1) , 7-76
- https://doi.org/10.1007/bf01806032
Abstract
No abstract availableKeywords
This publication has 52 references indexed in Scilit:
- An approach to fair applicative multiprogrammingPublished by Springer Nature ,2005
- Linear logic and interference controlPublished by Springer Nature ,2005
- A term calculus for Intuitionistic Linear LogicPublished by Springer Nature ,1993
- Is there a use for linear logic?ACM SIGPLAN Notices, 1991
- An introduction to event structuresPublished by Springer Nature ,1989
- Basic notions of trace theoryPublished by Springer Nature ,1989
- Syntactic control of interference Part 2Published by Springer Nature ,1989
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971
- Report on the algorithmic language ALGOL 60Communications of the ACM, 1960