Functional programming and program transformation with interaction nets

Detalhes bibliográficos
Autor(a) principal: Mackie, Ian
Data de Publicação: 2005
Outros Autores: Pinto, Jorge Sousa, Vilaça, Miguel
Tipo de documento: Relatório
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/2748
Resumo: Techon. Report DI-PURe 05.05.02.
id RCAP_c88adb388ad530a17feea908d64588a8
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/2748
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 Functional programming and program transformation with interaction netsInteraction netsProgram transformationVisual programmingFunctional programmingTechon. Report DI-PURe 05.05.02.In this paper we propose to use Interaction Nets as a formalism for Visual Functional Programming. We consider the use of recursion patterns and introduce a suitable archetype/instantiation mechanism for interaction agents. We also consider program transformation by fusion, a well-known transformation technique, and show that this extends smoothly to our visual programming framework. Examples of applying this technique include transformations of two-pass functions into single-pass ones, and the introduction of accumulations.Universidade do MinhoMackie, IanPinto, Jorge SousaVilaça, Miguel2005-052005-05-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/1822/2748enginfo: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:47:24Zoai:repositorium.sdum.uminho.pt:1822/2748Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:45:30.731507Repositó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 Functional programming and program transformation with interaction nets
title Functional programming and program transformation with interaction nets
spellingShingle Functional programming and program transformation with interaction nets
Mackie, Ian
Interaction nets
Program transformation
Visual programming
Functional programming
title_short Functional programming and program transformation with interaction nets
title_full Functional programming and program transformation with interaction nets
title_fullStr Functional programming and program transformation with interaction nets
title_full_unstemmed Functional programming and program transformation with interaction nets
title_sort Functional programming and program transformation with interaction nets
author Mackie, Ian
author_facet Mackie, Ian
Pinto, Jorge Sousa
Vilaça, Miguel
author_role author
author2 Pinto, Jorge Sousa
Vilaça, Miguel
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Mackie, Ian
Pinto, Jorge Sousa
Vilaça, Miguel
dc.subject.por.fl_str_mv Interaction nets
Program transformation
Visual programming
Functional programming
topic Interaction nets
Program transformation
Visual programming
Functional programming
description Techon. Report DI-PURe 05.05.02.
publishDate 2005
dc.date.none.fl_str_mv 2005-05
2005-05-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/2748
url http://hdl.handle.net/1822/2748
dc.language.iso.fl_str_mv eng
language eng
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.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_ 1799133019878981632

Registros relacionados