See this document in CiteSeerX!

Abstract Models of Storage (2000)  (Make Corrections)  
Robert D. Tennent, Dan R. Ghica
Higher-Order and Symbolic Computation



  Home/Search   Context   Related

 
View or download:
cs.queensu.ca/home/ghica/paper...ams.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.queensu.ca/home/ghica/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This note is a historical survey of Christopher Strachey's influence on the development of semantic models of assignment and storage management in procedural languages. (Update)

Active bibliography (related documents):   More   All
1.4:   Formal Methods - Selected Historical References - Jones, McCauley (1992)   (Correct)
1.1:   Domains and Denotational Semantics: History, Accomplishments and.. - (Ed.) (1996)   (Correct)
0.9:   Names and Higher-Order Functions - Stark (1995)   (Correct)

Similar documents based on text:   More   All
0.9:   Christopher Strachey: recollections of his influence - Gordon (1999)   (Correct)
0.3:   Parametricity and Local Variables - O'Hearn, Tennent (1995)   (Correct)
0.2:   Induction, Domains, Calculi: Strachey's Contributions to.. - Schmidt (1999)   (Correct)

BibTeX entry:   (Update)

@article{ tennent00abstract,
    author = "Robert D. Tennent and Dan R. Ghica",
    title = "Abstract Models of Storage",
    journal = "Higher-Order and Symbolic Computation",
    volume = "13",
    number = "1/2",
    pages = "119-129",
    year = "2000",
    url = "citeseer.ist.psu.edu/tennent00abstract.html" }
Citations (may not include all citations):
650   An axiomatic basis for computer programming (context) - Hoare - 1969
274   Prentice-Hall International (context) - Reynolds, of - 1981
223   Assigning meanings to programs (context) - Floyd - 1967
147   abstraction and parametric polymorphism (context) - Reynolds - 1983
132   Syntactic control of interference (context) - Reynolds - 1989
132   Syntactic control of interference (context) - Reynolds - 1978
131   The essence of Algol (context) - Reynolds - 1981
106   Observable properties of higher order functions that dynamic.. - Pitts, Stark - 1993
63   Theoretical Computer Science (context) - Bainbridge, Freyd et al. - 1990
60   Towards fully abstract semantics for local variables: prelim.. (context) - Meyer, Sieber - 1988
58   A logic for parametric polymorphism - Plotkin, Abadi - 1993
56   A Theory of Programming Language Semantics (context) - Milne, Strachey - 1976
51   sharing and state: a fully abstract game semantics for Ideal.. (context) - Abramsky, McCusker
48   Laboratory for Foundations of Computer Science (context) - Moggi, view et al. - 1990
46   Relational parametricity and local variables (context) - O'Hearn, Tennent - 1993
32   A Category-Theoretic Approach to the Semantics of Programmin.. (context) - Oles - 1982
31   Lisp and Symbolic Computation (context) - Stark, for - 1996
29   Syntactic control of interference revisited - O'Hearn, Power et al. - 1999
28   Semantics of local variables - O'Hearn, Tennent - 1992
26   From Algol to polymorphic linear lambdacalculus - O'Hearn, Reynolds
24   Gedanken---a simple typeless language based on the principle.. (context) - Reynolds - 1970
22   Full abstraction for Idealized Algol with passive expression.. - Abramsky, McCusker - 1999
22   Semantical analysis of specification logic (context) - O'Hearn, Tennent - 1993
22   Semantical analysis of specification logic (context) - Tennent - 1990
21   functor categories and block structure (context) - Oles - 1985
21   Progress in Theoretical Computer Science (context) - O'Hearn, Tennent et al. - 1997
20   Full abstraction for the second order subset of an Algol-lik.. - Sieber - 1994
19   Global state considered unnecessary: Introduction to object-.. (context) - Reddy - 1996
16   International Summer School in Computer Programming (context) - Strachey, in et al. - 1967
14   Mathematical Structures in Computer Science (context) - O'Hearn, for et al. - 1993
13   or what makes the free-list free (context) - Halpern, Meyer et al. - 1984
12   Report on the algorithmic language Algol (context) - van Wijngaarden - 1969
9   The varieties of programming language (context) - Strachey - 1972
9   volume 1 of Electronic Notes in Theoretical Computer Science (context) - Brookes, Main et al. - 1995
9   Towards a formal semantics (context) - Strachey
9   New steps towards full abstraction for local variables (context) - Sieber
7   Theoretical Computer Science (context) - Freyd, O'Hearn et al. - 1999
7   System structure for software fault tolerance (context) - Randall - 1975
7   The Formal Semantics of Computer Languages and their Impleme.. (context) - Milne - 1974
7   Functor categories and store shapes (context) - Oles
6   The main features of CPL (context) - Barron, Buxton et al. - 1963
6   Bulletin of the European Association for Theoretical Compute.. (context) - Fiore, Jung et al. - 1996
5   Pop-2 reference manual (context) - Burstall, Popplestone
5   Semantics of interference control (context) - Tennent - 1983
5   A formal description of a subset of Algol (context) - McCarthy
5   Mathematical concepts in programming language semantics (context) - Scott - 1972
3   A Collection of Articles by IFIP WG (context) - Gries, Methodology - 1978
3   Some semantics for data structures (context) - Park - 1968
3   Department of Computer Science (context) - Workshop, in et al. - 1993
3   Semantics of Dynamic Variables in Algol-like Languages - Ghica - 1997
3   The denotational semantics of sequential machines (context) - Gordon - 1980
2   Refining first-class stores - Morrisett
2   Semantics of assignment (context) - Burstall
2   Method and notation for the formal definition of programming.. (context) - Lucas, Lauer et al. - 1968
1   the formal description of PL (context) - Lucas, Walk - 1969
1   A storage model derived from axioms (context) - Henhapl - 1969
1   Preliminary version appeared as (context) - O'Hearn, Tennent et al. - 1995
1   CPL Reference Manual (context) - Strachey
1   A polymorphic model of Algol (context) - Reynolds - 1975
1   and American Elsevier (context) - Dale, Michie et al. - 1968
1   CPL Working Papers (context) - Buxton, Coulouris et al. - 1966
1   Available by anonymous FTP as naturality (context) - Reddy, implies - 1997
1   Revised and slightly expanded version (context) - Strachey, of et al. - 1973
1   An appreciation of Christopher Strachey and his work (context) - Scott - 1977
1   Experimental Programming Unit (context) - Burstall, of et al. - 1965

Documents on the same site (http://www.cs.queensu.ca/home/ghica/):   More
Enhanced Hopfield Network for Morphologic Image Processing - Lu, Ghica   (Correct)
Application of Validation Subnetworks in Reliable Neural.. - Dan Ghica And   (Correct)
Reasoning about Idealized ALGOL Using Regular Languages - Ghica, McCusker (2000)   (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