Uday S. Reddy, Hongseok Yang  Home/Search
Context Related
| ropas.kaist.ac.kr/...arametricity.ps.gz 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: ropas.kaist.ac.kr/~hyang/pa...pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: While the semantics of local variables in programming languages is by now well-understood, the semantics of pointer-addressed heap variables is still an outstanding issue. In particular, the commonly assumed relational reasoning principles for data representations have not been validated in a semantic model of heap variables. In this paper, we de ne a parametricity semantics for a Pascal-like language with pointers and heap variables which gives such reasoning principles. It is found... (Update)
Similar documents based on text: More All
0.3: Objects and Classes in Algol-like Languages - Reddy (1998) (Correct)
0.3: Parametric Sheaves for modelling Store Locality - Yang, Reddy (Correct)
0.3: Workshop Committee - Workshop Chairs Kim (Correct)
BibTeX entry: (Update)
U. Reddy and H. Yang. Correctness of data representations involving heap data structures. Proceedings of ESOP, 2003. http://citeseer.ist.psu.edu/reddy03correctness.html More
@misc{ reddy03correctness,
author = "U. Reddy and H. Yang",
title = "Correctness of data representations involving heap data structures",
text = "U. Reddy and H. Yang. Correctness of data representations involving heap
data structures. Proceedings of ESOP, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/reddy03correctness.html" }
Citations (may not include all citations):325 Towards a theory of type structure (context) - Reynolds - 1974
311 Abstract types have existential types (context) - Mitchell, Plotkin - 1988
131 The essence of Algol (context) - Reynolds - 1981
88 Intuitionistic reasoning about shared mutable data structure - Reynolds - 2000
60 Towards fully abstract semantics for local variables (context) - Meyer, Sieber - 1988
58 Local reasoning about programs that alter data structures (context) - O'Hearn, Reynolds et al.
58 A fully abstract game semantics for general references (context) - Abramsky, Honda et al.
45 Algol-like Languages (context) - O'Hearn, Tennent - 1997
32 A Category-Theoretic Approach to the Semantics of Programmin.. (context) - Oles - 1982
31 Names and higher-order functions - Stark - 1995
31 Lisp and Symbolic Computation (context) - Stark - 1996
28 Semantics of local variables - O'Hearn, Tennent - 1992
17 Local reasoning for stateful programs (context) - Yang
15 Objects and classes in Algol-like languages - Reddy - 2002
15 Objects and classes in Algol-like languages - Reddy - 1998
[Article contains additional citations not shown here]
Documents on the same site (http://ropas.kaist.ac.kr/~hyang/paper/pub.html): More
Imperative Lambda Calculus Revisited - Yang, Reddy (1997) (Correct)
Computability and Complexity Results for a Spatial.. - Calcagno, Yang, O'Hearn (2001) (Correct)
Petri Net Semantics of Bunched Implications - O'Hearn, Yang (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