Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/14921Registo completo
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.author | Almeida, José Bacelar | - |
| dc.contributor.author | Pinto, Jorge Sousa | - |
| dc.contributor.author | Vilaça, Miguel | - |
| dc.date.accessioned | 2011-12-07T13:34:14Z | - |
| dc.date.available | 2011-12-07T13:34:14Z | - |
| dc.date.issued | 2008 | - |
| dc.identifier.issn | 1571-0661 | por |
| dc.identifier.uri | https://hdl.handle.net/1822/14921 | - |
| dc.description | Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007) | por |
| dc.description.abstract | Token-passing nets were proposed by Sinot as a simple mechanism for encoding evaluation strategies for the λ-calculus in interaction nets. This work extends token-passing nets to cover a typed functional language equipped with structured types and unrestricted recursion. The resulting interaction system is derived systematically from the chosen big-step operational semantics. Along the way, we actually characterize and discuss several design decisions of token-passing nets and extend them in order to achieve simpler interaction net systems with a higher degree of embedded parallelism. | por |
| dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
| dc.language.iso | eng | por |
| dc.publisher | Elsevier 1 | por |
| dc.rights | openAccess | por |
| dc.subject | Interaction nets | por |
| dc.subject | Reduction strategies | por |
| dc.subject | λ-calculus | por |
| dc.subject | Recursion | por |
| dc.subject | lambda-calculus | por |
| dc.title | Token-passing nets for functional languages | por |
| dc.type | article | - |
| dc.peerreviewed | yes | por |
| dc.relation.publisherversion | The original publication is available at http://www.sciencedirect.com/science/article/pii/S1571066108001667 | por |
| sdum.publicationstatus | published | por |
| oaire.citationStartPage | 181 | por |
| oaire.citationEndPage | 198 | por |
| oaire.citationIssue | C | por |
| oaire.citationTitle | Electronic Notes in Theoretical Computer Science | por |
| oaire.citationVolume | 204 | por |
| dc.identifier.doi | 10.1016/j.entcs.2008.03.061 | por |
| dc.subject.wos | Science & Technology | por |
| sdum.journal | Electronic Notes in Theoretical Computer Science | por |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) | |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| WRS07.pdf | Documento principal | 1,17 MB | Adobe PDF | Ver/Abrir |
