D. Sitaram. Handling control. In Proceedings of the 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Formal Relationship Between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
....Prompts Both A and callcc allow unrestricted transfers 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 study one traditional control delimiter: # (prompt) 24] Intuitively, in an expression (# M ) the prompt treats its subexpression as a complete program by evaluating it in the initial continuation, forwarding the result to the current continuation. To specify this behavior ....
Sitaram, D. Handling control. In Proceedings of the ACM Sigplan Conference on Programming Language Design and Implementation (1993) 147--155.
Return Types for Functional Continuations - Gunter, Rémy, Riecke (1998) (Correct)
....a fresh prompt (with the type of the expression) and set s; all callcc s are then done via cupto s to this fresh prompt. To determine whether named, typed prompts are useful in programming requires some experience in writing programs. In the untyped case, prompts add signi cant expressive power [20, 21]; we believe the examples of [20] could be typed in our system. We also conjecture that many applications that currently uses callcc (such as various threads packages or CML) could bene t for instance, the explicit prompt mechanism may simplify the implementation of threads in a interactive ....
....expression) and set s; all callcc s are then done via cupto s to this fresh prompt. To determine whether named, typed prompts are useful in programming requires some experience in writing programs. In the untyped case, prompts add signi cant expressive power [20, 21] we believe the examples of [20] could be typed in our system. We also conjecture that many applications that currently uses callcc (such as various threads packages or CML) could bene t for instance, the explicit prompt mechanism may simplify the implementation of threads in a interactive top level loop. At the very least, the ....
D. Sitaram. Handling control. In Proceedings of the 1993 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 147-155. ACM, 1993.
Return Types for Functional Continuations - Gunter, Rémy, Riecke (Correct)
....a fresh prompt (with the type of the expression) and set s; all callcc s are then done via cupto s to this fresh prompt. To determine whether named, typed prompts are useful in programming requires some experience in writing programs. In the untyped case, prompts add significant expressive power [20, 21]; we believe the examples of [20] could be typed in our system. We also conjecture that many applications that currently uses callcc (such as various threads packages or CML) could benefit for instance, the explicit prompt mechanism may simplify the implementation of threads in a interactive ....
....expression) and set s; all callcc s are then done via cupto s to this fresh prompt. To determine whether named, typed prompts are useful in programming requires some experience in writing programs. In the untyped case, prompts add significant expressive power [20, 21] we believe the examples of [20] could be typed in our system. We also conjecture that many applications that currently uses callcc (such as various threads packages or CML) could benefit for instance, the explicit prompt mechanism may simplify the implementation of threads in a interactive top level loop. At the very least, ....
D. Sitaram. Handling control. In Proceedings of the 1993 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 147--155. ACM, 1993.
A Generalization of Exceptions and Control in ML-like.. - Gunter, Rémy.. (1995) (15 citations) (Correct)
....a fresh prompt (with the type of the expression) and set s; all callcc s are then done via cupto s to this fresh prompt. To determine whether named, typed prompts are useful in programming requires some experience in writing programs. In the untyped case, prompts add significant expressive power [16, 15]; we believe the examples of [15] could be typed in our system. We also conjecture that many applications that currently uses callcc (such as various threads packages or CML) could benefit for instance, the explicit prompt mechanism may simplify the implementation of threads in a interactive ....
....expression) and set s; all callcc s are then done via cupto s to this fresh prompt. To determine whether named, typed prompts are useful in programming requires some experience in writing programs. In the untyped case, prompts add significant expressive power [16, 15] we believe the examples of [15] could be typed in our system. We also conjecture that many applications that currently uses callcc (such as various threads packages or CML) could benefit for instance, the explicit prompt mechanism may simplify the implementation of threads in a interactive top level loop. At the very least, ....
Dorai Sitaram. Handling control. In Proceedings of the 1993 ACM Conference on Programming Language Design and Implementation, pages 147--155. ACM, 1993.
The Formal Relationship between Direct and Continuation-Passing.. - Sabry (1994) (9 citations) (Correct)
....Prompts Both A and callcc allow unrestricted transfers 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 study one traditional control delimiter: # (prompt) 24] Intuitively, in an expression (# M ) the prompt treats its subexpression as a complete program by evaluating it in the initial continuation, forwarding the result to the current continuation. To specify this behavior ....
Sitaram, D. Handling control. In Proceedings of the ACM Sigplan Conference on Programming Language Design and Implementation (1993) 147--155.
A Library of High Level Control Operators - Queinnec (1993) (11 citations) (Correct)
....to the value that would have been returned in normal style. Continuations come from the work of Strachey and Wadsworth [SW74, Rey93] and were used to denote control features such as goto i.e. unconditional jump. CPS and sophisticated control handling have always been sources of inspiration, see [DL92, SF92, Mor92, FSDF93, Sit93] for recent developments. Denotational techniques often drift into program transformations: CPS was exploited in Rabbit, the first Scheme compiler [Ste78] as a kind of intermediate language. CPS provides a simple (but not unique) Id: contlib.bk,v 1.27 1994 04 11 08:10:43 queinnec Exp . ....
Dorai Sitaram. Handling control. In pldi93 [pld93], pages 147--155. Also SIGPLAN Notices 28(6), June 1993.
A Generalization of Exceptions and Control in ML-like.. - Gunter, Rémy.. (1995) (15 citations) (Correct)
....a fresh prompt (with the type of the expression) and set s; all callcc s are then done via cupto s to this fresh prompt. To determine whether named, typed prompts are useful in programming requires some experience in writing programs. In the untyped case, prompts add significant expressive power [23, 21]; we believe the examples of [21] could be typed in our system. We also conjecture that many applications that currently uses callcc (such as various threads packages or CML) could benefit for instance, the explicit prompt mechanism may simplify the implementation of threads in a interactive ....
....expression) and set s; all callcc s are then done via cupto s to this fresh prompt. To determine whether named, typed prompts are useful in programming requires some experience in writing programs. In the untyped case, prompts add significant expressive power [23, 21] we believe the examples of [21] could be typed in our system. We also conjecture that many applications that currently uses callcc (such as various threads packages or CML) could benefit for instance, the explicit prompt mechanism may simplify the implementation of threads in a interactive top level loop. At the very least, ....
Dorai Sitaram. Handling control. In Proceedings of the 1993 ACM Conference on Programming Language Design and Implementation, pages 147--155. ACM, 1993.
Return Types for Functional Continuations - Carl Gunter University (Correct)
No context found.
D. Sitaram. Handling control. In Proceedings of the 1993.
A Replicated and Persistent Functional Programming Environment -.. - Oksanen (2001) (Correct)
No context found.
D. Sitaram. Handling control. In Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation: Albuquerque, New Mexico, June 23-25, 1993.
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