Weak reduction and garbage collection in interaction nets

Detalhes bibliográficos
Autor(a) principal: Pinto, Jorge Sousa
Data de Publicação: 2003
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/1749
Resumo: This paper presents an implementation device for the weak reduction of interaction nets to interface normal form. The results produced by running several benchmarks are given, suggesting that weak reduction greatly improves the performance of the interaction combinators-based implementation of the λ-calculus.
id RCAP_db6db8d90f10143544d8e6e3fb206dbf
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/1749
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Weak reduction and garbage collection in interaction netsInteraction NetsReduction StrategiesAbstract machinesThis paper presents an implementation device for the weak reduction of interaction nets to interface normal form. The results produced by running several benchmarks are given, suggesting that weak reduction greatly improves the performance of the interaction combinators-based implementation of the λ-calculus.(undefined)ElsevierUniversidade do MinhoPinto, Jorge Sousa20032003-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/1749engGRAMILICH, B. ; LUCAS, S., ed. lit. - "Workshop on Reduction Strategies in Rewriting and Programming, 3, Valencia, 2003 : proceedings" . Electronic Notes in Theoretical Computer Science [Em linha]. 86:4 (2003) 625-640. [Consult. 24 Maio 2005] Di­sponível na Internet URL:http://www.sciencedirect.com/science.1571-066110.1016/S1571-0661(05)82614-3info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:31:14Zoai:repositorium.sdum.uminho.pt:1822/1749Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:26:28.370469Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Weak reduction and garbage collection in interaction nets
title Weak reduction and garbage collection in interaction nets
spellingShingle Weak reduction and garbage collection in interaction nets
Pinto, Jorge Sousa
Interaction Nets
Reduction Strategies
Abstract machines
title_short Weak reduction and garbage collection in interaction nets
title_full Weak reduction and garbage collection in interaction nets
title_fullStr Weak reduction and garbage collection in interaction nets
title_full_unstemmed Weak reduction and garbage collection in interaction nets
title_sort Weak reduction and garbage collection in interaction nets
author Pinto, Jorge Sousa
author_facet Pinto, Jorge Sousa
author_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Pinto, Jorge Sousa
dc.subject.por.fl_str_mv Interaction Nets
Reduction Strategies
Abstract machines
topic Interaction Nets
Reduction Strategies
Abstract machines
description This paper presents an implementation device for the weak reduction of interaction nets to interface normal form. The results produced by running several benchmarks are given, suggesting that weak reduction greatly improves the performance of the interaction combinators-based implementation of the λ-calculus.
publishDate 2003
dc.date.none.fl_str_mv 2003
2003-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/1749
url http://hdl.handle.net/1822/1749
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv GRAMILICH, B. ; LUCAS, S., ed. lit. - "Workshop on Reduction Strategies in Rewriting and Programming, 3, Valencia, 2003 : proceedings" . Electronic Notes in Theoretical Computer Science [Em linha]. 86:4 (2003) 625-640. [Consult. 24 Maio 2005] Di­sponível na Internet URL:http://www.sciencedirect.com/science.
1571-0661
10.1016/S1571-0661(05)82614-3
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132752359981056

Registros relacionados