Dorai Sitaram  Home/Search
Context Related
| rice.edu/CS/PLT/Pu...esissitaram.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: This work uses denotational models to understand and improve the part of a programming language concerned with non-local control operators. These operators let the programmer identify and restore arbitrary control contexts in the program execution path, and thus form a powerful component of many modern programming languages. We use a variety of denotational models to tackle the issues of (1) describing a control language mathematically, and (2) using the model's apparatus to obtain information... (Update)
Context of citations to this paper: More
...we develop below. Haynes and Friedman [12, 13] introduce the engine facility to model timed preemption; variants can also be found in [5, 6, 31]. Engines differ from our groups in a number of ways. Engines are defined in a sequential framework and are used to simulate...
...which we develop below. Haynes and Friedman [19, 20] introduce the engine facility to model timed preemption; variants can also be found in [8, 9, 48]. Engines differ from our groups in a number of ways. Engines are defined in a sequential framework and are used to simulate...
Cited by: More
Distributed Computations Driven by Resource Consumption - Moreau, Queinnec (1998) (Correct)
On the Finiteness of Resources in Distributed Computing - Moreau, Queinnec (1997) (Correct)
Similar documents based on text: More All
2.5: Models of Control and Their Implications for Programming Language .. - Sitaram (1994) (Correct)
0.3: Behavioral Software Contracts - Findler (Correct)
0.3: Programming Languages for Reusable Software Components - Flatt (1999) (Correct)
Related documents from co-citation: More All
4: Speculative computation in multilisp (context) - Osborne - 1990
2: Programming in Scheme (context) - Eisenberg - 1988
2: Abstracting timed preemption with engines (context) - Haynes, Friedman - 1987
BibTeX entry: (Update)
Dorai Sitaram. Models of Control and Their Implications for Programming Language Design. PhD thesis, Rice University, Houston, Texas, April 1994. http://citeseer.ist.psu.edu/sitaram94models.html More
@phdthesis{ sitaram94models,
author = "Dorai Sitaram",
title = "Models of Control and Their Implications for Programming Language Design",
pages = "166",
year = "1994",
url = "citeseer.ist.psu.edu/sitaram94models.html" }
Citations not processed or no citations identified.
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