Publication: Continutation Semantics for Parallel Haskell Dialects.
Loading...
Full text at PDC
Publication Date
2003
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Citations
Exportar
Abstract
The aim of the present work is to compare, from a formal semantic
basis, the different approaches to the parallelization of functional programming languages. For this purpose, we define a continuation semantics model which allows us to deal with side-effects and parallelism.
To verify the suitability of our model we have applied it to three programming languages that introduce parallelism in very different ways, but whose common functional kernel is the lazy functional language Haskell.
Description
APLAS 2003 (1º. 2003. Pekín)
UCM subjects
Unesco subjects
Keywords
Citation
S. Aditya, Arvind, L. Augustsson, J. Maessen, and R. S. Nikhil. Semantics of pH: A parallel dialect of Haskell. In P. Hudak, editor,Haskell Workshop, pages 35–49, La Jolla, Cambridge, MA, USA,YALEU/DCS/RR-1075, June 1995.
C. Baker-Finch, D. King, and P. Trinder. An operational semantics for parallel lazy evaluation. In ACM-SIGPLAN International Conference on Functional Programming (ICFP’00), pages 162–173, Montreal, Canada,September 2000.
S. Breitinger, R. Loogen, Y. Ortega-Mallen, and R. Peña. Eden – the paradise of functional-concurrent programming. In EUROPAR’96: European Conference on Parallel Processing, pages 710–713. LNCS 1123,Springer, 1996.
M. Debbabi and D. Bolignano. ML with Concurrency: Design, Analysis,Implementation, and Application, chapter 6: A semantic theory for ML higher-order concurrency primitives, pages 145–184. Monographs in Computer Science. Ed. F.Nielson. Springer, 1997.
M. van Ekelen and M. de Mol. Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics. In Draft Proceedings of the 14th International Workshop on Implementation of Functional Languages, IFL’02, pages 357–373. Dept. Sistemas Inform´aticos y Programacion, Universidad Complutense de Madrid, 2002.
W. Ferreira and M. Hennessy. A behavioural theory of first-order CML.Theoretical Computer Science, 216:55–107, 1999.
[Hen88] M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988.
M. Hennessy and A. Ingolfsdottir. A theory of communicating processes with value passing. Information and Computation, 107:202–236, 1993.
M. Hidalgo-Herrero and Y. Ortega-Mallen. An operational semantics for the parallel language Eden. Parallel Processing Letters. World Scientific Publishing Company, 12(2):211–228, 2002.
M. B. Josephs. Functional programming with side-effects. PhD thesis,Oxford University, 1986.
M. B. Josephs. The semantics of lazy functional languages. Theoretical Computer Science, 68:105–111, 1989.
G. Kahn and D. MacQueen. Coroutines and networks of parallel processes.In IFIP’77, pages 993–998. Eds. B. Gilchrist. North-Holland,1977.
J. Launchbury. A natural semantics for lazy evaluation. In POPL’93,Charleston, 1993.
R. Loogen. Research Directions in Parallel Functional Programming,chapter 3: Programming Language Constructs. Eds. K. Hammond and G. Michaelson. Springer, 1999.
R. S. Nikhil and Arvind. Implicit Parallel Programing in pH. Academic Press, 2001.
R. S. Nikhil. Id (version 90.1) language reference manual. Technical Report CSG Memo 284–2, Laboratory for Computer Science, MIT, Cambridge,MA, USA, 1991.
S. Peyton Jones. Implementation of Functional Programming Languages.Prentice Hall, 1987.
S. Peyton Jones. Haskell 98 language and libraries: the Revised Report.Cambridge University Press, 2003.
J. H. Reppy. Higher-Order Concurrency. PhD thesis, Cornell University (Deparyment of Computer Scienqe), 1992.
J. C. Reynolds. Theories of Programming Languages. Cambridge University Press, 1998.
J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press,Cambridge, MA, 1977.
P. Trinder, K. Hammond, J. Mattson Jr., A. Partridge, and S. Peyton Jones. GUM: a portable implementation of Haskell. In Proceedings of Programming Language Design and Implementation, Philadephia, USA,May 1996.