Dorai Sitaram, Matthias Felleisen  Home/Search
Context Related
| rice.edu/CS/PLT/Pu...fcorrection.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: rice.edu/CS/PLT/Publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion for Models of Control Two Corrections Dorai Sitaram Matthias Felleisen Department of Computer Science Rice University Houston, TX 77251-1892 July 29, 1992 1 Environments for Pcf v The original paper [1] defines the domain of environments for call-by-value Pcf as typerespecting maps from the set of variables to domains (cf. [1, page 166]): ae 2 Env implies ae(x t ) 2 D t : Kurt Sieber [Universitšat des Saarlandes; personal communication: June 29, 1990] discovered that this definition is ... (Update)
Context of citations to this paper: More
...of control. Denotational models for languages with such control operators naturally include elements that delimit control actions [80, 95]. In addition to their theoretical importance, these delimiters present a useful programming paradigm [93, 94] In this section, we...
.... with that of rstclass prompts [8] The semantics K[ corresponds directly to usual cps (continuation passing style) transforms [30, 39]. It is thus easy to check that if V is an adequate model for VPCF, then the semantics K[ is adequate for VPCF K. Since any fully...
Cited by: More
Return Types for Functional Continuations - Carl Gunter University (Correct)
Categorical Structure of Continuation Passing Style - Thielecke (1997) (Correct)
A Formal Semantics for the C Programming Language - Nikolaos Papaspyrou Doctoral (1998) (Correct)
Active bibliography (related documents): More All
0.1: Expressive Power of Declarative Programming Languages - Matsushita (1998) (Correct)
0.0: Isolating Side Effects in Sequential Languages - Riecke, Viswanathan (1995) (Correct)
0.0: Delimiting the Scope of Effects - Riecke (1993) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Models of Control and Their Implications for Programming Language .. - Sitaram (1994) (Correct)
0.2: Conservative Extensions of Polymorphic PCF - Akama (1996) (Correct)
0.1: SPCF: Its Model, Calculus, and Computational Power.. - Kanneganti.. (1992) (Correct)
Related documents from co-citation: More All
22: The theory and practice of first-class prompts (context) - Felleisen - 1988
15: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
13: Compiling with Continuations (context) - Appel - 1992
BibTeX entry: (Update)
Dorai Sitaram and Matthias Felleisen. Reasoning with continuations II: Full abstraction for models of control. In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, pages 161--175, Nice, France, June 1990. http://citeseer.ist.psu.edu/sitaram92reasoning.html More
@inproceedings{ sitaram90reasoning,
author = "D. Sitaram and M. Felleisen",
title = "Reasoning with Continuations {II}: Full Abstraction for Models of Control",
booktitle = "Proceedings of the 1990 {ACM} Conference on {LISP} and Functional Programming, Nice",
publisher = "ACM",
address = "New York, NY",
pages = "161--175",
year = "1990",
url = "citeseer.ist.psu.edu/sitaram92reasoning.html" }
Citations (may not include all citations):36 Reasoning with continuations II: Full abstraction for models.. - Sitaram, Felleisen - 1990
17 Fully abstract translations between functional languages (context) - Riecke - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rice.edu/CS/PLT/Publications/): More
Synthesizing Object-Oriented and Functional Design.. - Krishnamurthi.. (1998) (Correct)
Reasoning about Explicit and Implicit Representations of State - Sabry, Field (1993) (Correct)
A Practical Soft Type System for Scheme - Wright, Cartwright (1994) (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