A Distributed Operational Semantics for a Parallel Functional Language
| dc.book.title | Trends in Functional Programming | |
| dc.contributor.author | Hidalgo Herrero, Mercedes | |
| dc.contributor.author | Ortega Mallén, Yolanda | |
| dc.contributor.editor | Gilmore, Stephen | |
| dc.date.accessioned | 2023-06-20T21:03:53Z | |
| dc.date.available | 2023-06-20T21:03:53Z | |
| dc.date.issued | 2000 | |
| dc.description | Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews,Scotland, July 26th to 28th, 2000; 01/2000 | |
| dc.description.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. | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | CICYT | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/17470 | |
| dc.identifier.isbn | 1-84150-058-5 | |
| dc.identifier.officialurl | http://dl.acm.org/citation.cfm?id=719994 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/60592 | |
| dc.language.iso | eng | |
| dc.page.final | 102 | |
| dc.page.initial | 89 | |
| dc.page.total | 184 | |
| dc.publication.place | Bristol | |
| dc.publisher | Intellect Books | |
| dc.relation.projectID | TIC97-0672 | |
| dc.relation.projectID | HB1999-0102 | |
| dc.rights.accessRights | open access | |
| dc.subject.cdu | 004.42 | |
| dc.subject.keyword | Computer Science | |
| dc.subject.keyword | Hardware & Architecture | |
| dc.subject.keyword | Software Engineering | |
| dc.subject.ucm | Programación de ordenadores (Informática) | |
| dc.subject.unesco | 1203.23 Lenguajes de Programación | |
| dc.title | A Distributed Operational Semantics for a Parallel Functional Language | |
| dc.type | book part | |
| dc.volume.number | 2 | |
| dcterms.references | 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. | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | bbedb91a-42c6-485f-96e8-d99df955f2c9 | |
| relation.isAuthorOfPublication | 7def0d88-f401-4de1-9a51-4f6c93e8234e | |
| relation.isAuthorOfPublication.latestForDiscovery | bbedb91a-42c6-485f-96e8-d99df955f2c9 |
Download
Original bundle
1 - 1 of 1
