A Parallel Functional Language with First-Class Continuations. Programming Style and Semantics
L. Moreau
Computing and Informatics, Tome 28 (2012) no. 1, / Harvested from Computing and Informatics
We present an operational semantics for a functional language with first-class continuations and transparent constructs for parallelism fork and pcall. The sequential semantics of programs with first-class continuations is preserved  when parallel evaluation is allowed, by verifying whether some expressions have returned a value before applying a continuation. These expressions are the ones that are evaluated before this continuation is applied in a left-to-right sequential order. An implementation is proposed using a notion of higher-order continuation that we call metacontinuation. This semantics is costless when first-class continuations are not used. Several programs also illustrate the programming style that can be adopted in such a language.
Publié le : 2012-01-26
Classification: 
@article{cai226,
     author = {L. Moreau},
     title = {A Parallel Functional Language with First-Class Continuations. Programming Style and Semantics},
     journal = {Computing and Informatics},
     volume = {28},
     number = {1},
     year = {2012},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai226}
}
L. Moreau. A Parallel Functional Language with First-Class Continuations. Programming Style and Semantics. Computing and Informatics, Tome 28 (2012) no. 1, . http://gdmltest.u-ga.fr/item/cai226/