RT Book, Section
T1 A Distributed Operational Semantics for a Parallel Functional Language
A1 Hidalgo Herrero, Mercedes
A1 Ortega Mallén, Yolanda
A2 Gilmore, Stephen
AB 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.
PB Intellect Books
SN 1-84150-058-5
YR 2000
FD 2000
LK https://hdl.handle.net/20.500.14352/60592
UL https://hdl.handle.net/20.500.14352/60592
LA eng
NO 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.
NO Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews,Scotland, July 26th to 28th, 2000; 01/2000
NO CICYT
DS Docta Complutense
RD 2 may 2024