P.W. O'Hearn, R.D. Tennent  Home/Search
Context Related
| dcs.qmw.ac.uk/lfp/ohearn/locvar.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmul.ac.uk/~oh...onlinepapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This expository article discusses recent progress on the problem of giving sufficiently abstract semantics to local-variable declarations in Algol-like languages, especially work using categorical methods. (Update)
Cited by: More
Local Variable Scoping and - Kleene Algebra With (Correct)
Relational Semantics for Higher-Order - Functional Programs Kamal (Correct)
Appears in LISP and Symbolic Computation 9(1):77--107.. - Ian Stark University (Correct)
Active bibliography (related documents): More All
0.5: On Bunched Typing - Peter Hearn Department (2002) (Correct)
0.5: A Congruence for Gamma Programs - Errington, Hankin, Jensen (1993) (Correct)
0.4: Abstract Models of Storage - Tennent, Ghica (2000) (Correct)
Similar documents based on text: More All
0.2: Parametricity and Local Variables - O'Hearn, Tennent (1995) (Correct)
0.2: Proving Memory Management Invariants for a Language.. - Chirimar, Gunter, Riecke (1992) (Correct)
0.2: Syntactic Control of Interference Revisited - O'Hearn, Power, Takeyama, Tennent (1995) (Correct)
Related documents from co-citation: More All
23: Syntactic control of interference (context) - Reynolds - 1989
17: Towards fully abstract semantics for local variables: Preliminary report (context) - Meyer, Sieber - 1988
15: Observable properties of higher order functions that dynamically create local na.. - Pitts, Stark - 1993
BibTeX entry: (Update)
P. W. O'Hearn and R. D. Tennent. Semantics of Local Variables. In M. P. Fourman, P. T. Johnstone and A. M. Pitts (eds), Applications of Categories in Computer Science, L.M.S. Lecture Note Series 177 (Cambridge University Press, 1992), pp 217-- 238. http://citeseer.ist.psu.edu/542979.html More
@misc{ o'hearn92semantics,
author = "P. O'Hearn and R. Tennent",
title = "Semantics of Local Variables",
text = "P. W. O'Hearn and R. D. Tennent. Semantics of Local Variables. In M. P.
Fourman, P. T. Johnstone and A. M. Pitts (eds), Applications of Categories
in Computer Science, L.M.S. Lecture Note Series 177 (Cambridge University
Press, 1992), pp 217-- 238.",
year = "1992",
url = "citeseer.ist.psu.edu/542979.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969
359 Introduction to Higher-Order Categorical Logic (context) - Lambek, Scott - 1986
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
274 Prentice-Hall International (context) - Reynolds, of - 1981
131 The essence of Algol (context) - Reynolds - 1981
60 Towards fully abstract semantics for local variables: prelim.. (context) - Meyer, Sieber - 1988
56 A Theory of Programming Language Semantics (context) - Milne, Strachey - 1976
32 A Category-Theoretic Approach to the Semantics of Programmin.. (context) - Oles - 1982
22 Semantical analysis of specification logic (context) - Tennent - 1990
22 Idealized Algol and its specification logic (context) - Reynolds - 1982
21 functor categories and block structure (context) - Oles - 1985
19 The Categorial Analysis of Logic (context) - Goldblatt - 1979
15 Toposes and Local Set Theories (context) - Bell - 1988
13 or what makes the free-list free (context) - Halpern, Meyer et al. - 1984
10 of Pure and Applied Algebra (context) - Nelson, exponentiation - 1981
5 Mathematical concepts in programming language semantics (context) - Scott - 1972
3 Locations considered unnecessary (context) - Donahue - 1977
2 A fully abstract semantics and a proof system for an algol-l.. (context) - Brookes - 1985
2 The Semantics of Non-Interference: a Natural Approach (context) - O'Hearn - 1990
1 To appear in revised form in Information and Computation (context) - O'Hearn, Tennent et al. - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmul.ac.uk/~ohearn/onlinepapers.html): More
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (Correct)
Program Logic and Equivalence in the Presence of Garbage.. - Calcagno, O'Hearn, Bornat (2001) (Correct)
Reasoning about Shared Mutable Data Structure - Reynolds, O'Hearn (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC