Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
A type-theoretic foundation of continuations and prompts
Ariola Z., Herbelin H., Sabry A. ACM SIGPLAN Notices39 (9):40-53,2004.Type:Article
Date Reviewed: Dec 20 2004

This research paper is devoted to the mathematical features of functional languages extended by control operators. More precisely, the goal is to show that a &lgr;- calculus, previously introduced by the authors [1], is a basis for developing a uniform framework for reasoning about control operators. Next, the authors add a more complex &lgr;-abstraction, of a dynamic nature, to capture delimiters of continuations, the so-called prompts. Finally, they reexamine the calculus in a logical perspective, exhibiting the part of the dual connective of implication. The paper ends with an extensive bibliography, with both recent entries, focusing on the state of the art, and more basic ones, to which the nonspecialist can refer. This is very useful; the paper presupposes a fine knowledge of the matter, and the presentation is very abstract.

Reviewer:  F. Aribaud Review #: CR130549 (0506-0696)
1) Ariola, Z.M.; Herbelin, H. Minimal classical logic and control operators. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Springer Verlag, 2003, 128–136.
Bookmark and Share
 
Operational Semantics (F.3.2 ... )
 
 
Control Primitives (F.3.3 ... )
 
 
Lambda Calculus And Related Systems (F.4.1 ... )
 
 
Mathematical Logic (F.4.1 )
 
 
Studies Of Program Constructs (F.3.3 )
 
Would you recommend this review?
yes
no
Other reviews under "Operational Semantics": Date
Sequential and concurrent behaviour in Petri net theory
Best E., Devillers R. Theoretical Computer Science 55(1): 87-136, 1987. Type: Article
Feb 1 1989
Distributed bisimulations
Castellani I., Hennessy M. Journal of the ACM 36(4): 887-911, 1989. Type: Article
Feb 1 1991
Representing CCS programs by finite predicate/transition nets
Taubner D. Acta Informatica 27(6): 533-565, 1990. Type: Article
Apr 1 1991
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy