Publication: A Distributed Operational Semantics for a Parallel Functional Language
Loading...
Official URL
Full text at PDC
Publication Date
2000
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Intellect Books
Citations
Exportar
Abstract
We present an operational semantics for a functional parallel language with explicit process creation and implicit message-passing communication. The semantics is based on a distributed memory model and is effective for investigating the interplay between laziness and eagerness in the language, as well as for measuring speculative parallelism.
Description
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews,Scotland, July 26th to 28th, 2000; 01/2000
UCM subjects
Unesco subjects
Keywords
Citation
Clem Baker-Finch, David King, and Phil Trinder. An operational semantics for parallel lazy evaluation. In ICFP’00, Montreal, Canada, September 2000.
S. Breitinger, R. Loogen, Y. Ortega-Mallen, and R. Peña. The Eden Coordination Model for Distributed Memory Systems. In Workshop on High-level Parallel Programming Models, HIPS’97. In conjuntion with the IEEE International Parallel Processing Symposium, IPPS’97, pages 120–124. IEEE Computer Science Press, 1997.
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. Flemming Nielson. Springer-Verlag, 1997.
W. Ferreira and M. Hennessy. A behavioural theory of first-order CML.Theoretical Computer Science, 216:55–107, 1999.
K. Hammond and H. A. Michaelson (editors). Research Directions in Parallel Functional Programming. Springer-Verlag, 1999.
J. Launchbury. A natural semantics for lazy evaluation. In Proceedings of ACM Principles of Programming Languages, Charleston, 1993.
James S. Mattson Jr. An effective speculative evaluation technique for parallel supercombinator graph reduction. PhD thesis, University of California,San Diego, 1993.
S. Peyton Jones and J. Hughes (editors). Report on the Programming Language Haskell 98. URLhttp://www.haskell.org, February 1999.
P. Panangaden and J. Reppy. ML with Concurrency: Design, Analysis, Implementation,and Application, chapter 2: The Essence of Concurrent ML,pages 5–30. Monographs in Computer Science. Ed. Flemming Nielson.Springer-Verlag, 1997.