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órios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: https://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órios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/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/pdfhttps://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órios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-04-12T04:56:23Zoai:repositorium.sdum.uminho.pt:1822/1749Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:47:51.705090Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
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 https://hdl.handle.net/1822/1749
url https://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órios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595546296647680

Registros relacionados