Continutation Semantics for Parallel Haskell Dialects.
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 suitabilit...
| Autores: | , |
|---|---|
| Tipo de documento: | capítulo de livro |
| Data de publicação: | 2003 |
| País: | España |
| Recursos: | Universidad Complutense de Madrid (UCM) |
| Repositório: | Docta Complutense |
| Idioma: | inglês |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/60591 |
| Acesso em linha: | https://hdl.handle.net/20.500.14352/60591 |
| Access Level: | Acceso aberto |
| Palavra-chave: | 004.43 Computer Science Software Engineering Theory & Methods Lenguajes de programación 1203.23 Lenguajes de Programación |
| Resumo: | 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. |
|---|