Dealing Denotationally With Stream-based Communication
| dc.contributor.author | Hidalgo Herrero, Mercedes | |
| dc.contributor.author | Ortega Mallén, Yolanda | |
| dc.date.accessioned | 2023-06-20T09:42:50Z | |
| dc.date.available | 2023-06-20T09:42:50Z | |
| dc.date.issued | 2005 | |
| dc.description.abstract | We define a denotational semantics for a kernel-calculus of the parallel functional language Eden. We choose continuations to deal with side-effects (process creation and communication) in a lazy context. The calculus includes streams for communication, and their modelization by a denotational semantics is not direct because a stream may be infinite. | |
| 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.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/17461 | |
| dc.identifier.doi | 10.1016/j.entcs.2005.01.039 | |
| dc.identifier.issn | 15710661 | |
| dc.identifier.officialurl | http://www.sciencedirect.com/science/article/pii/S1571066105050826 | |
| dc.identifier.relatedurl | http://www.sciencedirect.com | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/50232 | |
| dc.journal.title | Electronic Notes in Theoretical Computer Science | |
| dc.language.iso | eng | |
| dc.page.final | 68 | |
| dc.page.initial | 47 | |
| dc.publisher | Elsevier | |
| dc.relation.projectID | TIC2003-01000 | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 004.42 | |
| dc.subject.keyword | Denotational semantics | |
| dc.subject.keyword | Continuation semantics | |
| dc.subject.keyword | Laziness | |
| dc.subject.keyword | parallel programming | |
| dc.subject.keyword | Functional programming | |
| dc.subject.keyword | Eden. | |
| dc.subject.ucm | Programación de ordenadores (Informática) | |
| dc.subject.unesco | 1203.23 Lenguajes de Programación | |
| dc.title | Dealing Denotationally With Stream-based Communication | |
| dc.type | journal article | |
| dc.volume.number | 137 | |
| dcterms.references | D. Gelernter and N. Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):96–107, February 1992. S. Gorlatch. Send-receive considered harmful: Myths and realities of message passing. ACM Transactions on Programming Languages and Systems, 26(1):47–56, January 2004. 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. Hidalgo-Herrero and Y. Ortega-Mallen. Continuation semantics for parallel Haskell dialects.In Proc. of the 1st Asian Symposium on Programming Languages and Systems, pages 303–321.LNCS 2895, Springer, 2003. M. B. Josephs. The semantics of lazy functional languages. Theoretical Computer Science,68:105–111, 1989. J. Launchbury. A natural semantics for lazy evaluation. In ACM Symposium on Principles of Programming Languages,POPL’93, pages 144–154. ACM Press, 1993. R. Loogen, Y. Ortega-Mallen, and R. Peña. Parallel functional programming in Eden. Journal of Functional Programming, 2004. (To appear). C. Pareja, R. Peña, F. Rubio, and C. Segura. Optimizing Eden by Transformation. In Trends in Functional Programming (Selected papers of the 2nd Scottish Functional Programming Workshop), volume 2, pages 13–26. Intellect, 2000. R. Peña, F. Rubio, and C. Segura. Deriving non-hierarchical process topologies. In Trends in Functional Programming (Selected papers of the 3rd Scottish Functional Programming Workshop), volume 3, pages 51–62. Intellect, 2002. S. Peyton Jones. Haskell 98 language and libraries: the Revised Report. Cambridge University Press, 2003. J. H. Reppy. Concurrent ML: Design, application and semantics. In Proceedings of Functional Programming, Concurrency, Simulation and Automated Reasoning, pages 165–198. LNCS 693,Springer, 1993. D. Sangiorgi and D. Walker. The π-calculus: a Theory of Mobile Processes. Cambridge University Press, 2001. J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge, MA, 1977. R. D. Tennent. The denotational semantics of programming languages. Communications of the ACM, 19(8):437–453, August 1976. | |
| 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