Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/774| Título: | Parallel implementation models for the lambda-calculus using the geometry of interaction |
| Autor(es): | Pinto, Jorge Sousa |
| Palavras-chave: | Geometry of interaction Lambda-calculus Abstract machines Parallel implementations of Functional Languages |
| Data: | 2001 |
| Editora: | Springer |
| Revista: | Lecture Notes in Computer Science |
| Citação: | ABRAMSKY, Samson, ed.lit. – Typed Lambda Calculi and Applications, 5, Krakow, 2001: proceedings of the International Conference. Berlin [etc.] : Springer, 2001. |
| Resumo(s): | An examination of Girard's execution formula suggests implementations of the Geometry of Interaction at the syntactic level. In this paper we limit our scope to ground-type terms and study the parallel aspects of such implementations, by introducing a family of machines which can be directly implemented. These machines address all the important implementation issues such as the choice of an inter-thread communication model, and allow to incorporate specific strategies for dividing the computation of the execution path into smaller tasks. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/774 |
| ISBN: | 3540419608 |
| ISSN: | 0302-9743 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| parimlcugi-ea.pdf | 535,14 kB | Adobe PDF | Ver/Abrir |
