Kurt Sieber  Home/Search
Context Related
| cs.unisb.de/pub/tec...fb149401.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: cs.unisb.de/tr/FB14/abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a denotational semantics for an Algol-like language Alg which is fully abstract for the second order subset of Alg. This constitutes the first significant full abstraction result for a block structured language with local variables. In this preliminary report we concentrate on the construction of the denotational model and on the main ideas of the full abstraction proof. For more background information about (problems involved with) the semantics of local variables, especially ... (Update)
Context of citations to this paper: More
.... previously achieved have been by O Hearn and Reddy [19] for a model combining object based and functor category ideas, and by Sieber [30], for a model using logical relations. In both cases, the results are that the model captures definability of first order functions,...
...these principles, except for the last one. This avour of IA is known as IA with active expressions and has been analyzed extensively [17,8,6]. We consider only the recursion free second order fragment of this language, the fragment which has been used to give virtually all the...
Cited by: More
Appears in LISP and Symbolic Computation 9(1):77--107.. - Ian Stark University (Correct)
Names and Higher-Order Functions - Stark (1995) (Correct)
Semantics-based Program Analysis via Symbolic Composition of.. - Colby (1996) (Correct)
Similar documents (at the sentence level):
5.5%: Full Abstraction for the Second Order Subset of an ALGOL-like.. - Sieber (1995) (Correct)
Active bibliography (related documents): More All
0.3: Cellular Digital Packet Data - Pietiläinen (Correct)
0.2: Chapter 5: On the Orthogonality of Assignments and.. - Felleisen, Weeks (1996) (Correct)
0.1: Mechanizing Logical Relations - Allen Stoughton (1994) (Correct)
Similar documents based on text: More All
0.2: Numerical Comparison of two Communication Algorithms - Apel, Haase, al. (1995) (Correct)
0.1: Parametricity and Local Variables - O'Hearn, Tennent (1995) (Correct)
0.1: On the Iwasawa Invariants of Elliptic Curves - Greenberg, Vatsal (Correct)
Related documents from co-citation: More All
18: The essence of Algol (context) - Reynolds - 1981
18: Syntactic control of interference (context) - Reynolds - 1989
11: Towards fully abstract semantics for local variables: Preliminary report (context) - Meyer, Sieber - 1988
BibTeX entry: (Update)
K. Sieber. Full Abstraction for the Second Order Subset of an ALGOL-like Language. Technischer Bericht A/04/95, FB14, Universitat des Saarlandes, 1995. http://citeseer.ist.psu.edu/sieber94full.html More
@article{ sieber96full,
author = "Kurt Sieber",
title = "Full abstraction for the second order subset of an {ALGOL}-like language",
journal = "Theoretical Computer Science",
volume = "168",
number = "1",
pages = "155--212",
year = "1996",
url = "citeseer.ist.psu.edu/sieber94full.html" }
Citations (may not include all citations):306 LCF considered as a programming language (context) - Plotkin - 1977
139 Type systems for programming languages (context) - Mitchell - 1990
131 The essence of algol (context) - Reynolds - 1981
106 Observable properties of higher order functions that dynamic.. - Pitts, Stark - 1993
60 Towards fully abstract semantics for local variables: Prelim.. (context) - Meyer, Sieber - 1988
46 Relational parametricity and local variables (context) - O'Hearn, Tennent - 1993
11 the orthogonality of assignments and procedures in Algol - Weeks, Felleisen - 1993
9 New steps towards full abstraction for local variables (context) - Sieber - 1993
6 The undecidability of -definability (context) - Loader - 1993
4 The category of functors from state shapes to bottomless cpo.. (context) - Lent - 1993
3 School of Computer and Information Science (context) - O'Hearn, Tennent et al. - 1993
1 O'Hearn and Robert D (context) - Peter
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.uni-sb.de/tr/FB14/abstracts.html): More
Transformations of Evolving Algebras - Diehl (1995) (Correct)
Spaces of Valuations - Heckmann (1996) (Correct)
Efficient and Precise Sharing Domains for Logic Programs - Fecht (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