A tool for programming with interaction nets

Detalhes bibliográficos
Autor(a) principal: Almeida, José Bacelar
Data de Publicação: 2008
Outros Autores: Pinto, Jorge Sousa, Vilaça, Miguel
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/14920
Resumo: Proceedings of the Eighth International Workshop on Rule Based Programming (RULE 2007)
id RCAP_bd73c067351a3f2b3698493a58e38ce7
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/14920
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 A tool for programming with interaction netsInteraction netsEditor/interpreterScience & TechnologyProceedings of the Eighth International Workshop on Rule Based Programming (RULE 2007)This paper introduces INblobs, a visual tool developed at Minho for integrated development with Interaction Nets. Most of the existing tools take as input interaction nets and interaction rules represented in a textual format. INblobs is first of all a visual editor that allows users to edit interaction systems (both interaction nets and interaction rules) graphically, and to convert them to textual notation. This can then be used as input to other tools that implement reduction of nets. INblobs also allows the user to reduce nets within the tool, and includes a mechanism that automatically selects the next active pair to be reduced, following one of the given reduction strategies. The paper also describes other features of the tool, such as the creation of rules from pre-defined templates.Fundação para a Ciência e a Tecnologia (FCT)ElsevierUniversidade do MinhoAlmeida, José BacelarPinto, Jorge SousaVilaça, Miguel20082008-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/14920eng1571-066110.1016/j.entcs.2008.10.036Available from http://www.sciencedirect.com/science/article/pii/S1571066108004301info: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:14Zoai:repositorium.sdum.uminho.pt:1822/14920Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:45:20.438694Repositó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 A tool for programming with interaction nets
title A tool for programming with interaction nets
spellingShingle A tool for programming with interaction nets
Almeida, José Bacelar
Interaction nets
Editor/interpreter
Science & Technology
title_short A tool for programming with interaction nets
title_full A tool for programming with interaction nets
title_fullStr A tool for programming with interaction nets
title_full_unstemmed A tool for programming with interaction nets
title_sort A tool for programming with interaction nets
author Almeida, José Bacelar
author_facet Almeida, José Bacelar
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 Almeida, José Bacelar
Pinto, Jorge Sousa
Vilaça, Miguel
dc.subject.por.fl_str_mv Interaction nets
Editor/interpreter
Science & Technology
topic Interaction nets
Editor/interpreter
Science & Technology
description Proceedings of the Eighth International Workshop on Rule Based Programming (RULE 2007)
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-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/14920
url http://hdl.handle.net/1822/14920
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 1571-0661
10.1016/j.entcs.2008.10.036
Available from http://www.sciencedirect.com/science/article/pii/S1571066108004301
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_ 1799133017539608576

Registros relacionados