Publicação
A shortcut fusion rule for circular program calculation
| Resumo: | Circular programs are a powerful technique to express multiple traversal algorithms as a single traversal function in a lazy setting. In this paper, we present a shortcut deforestation technique to calculate circular programs. The technique we propose takes as input the composition of two functions, such that the first builds an intermediate structure and some additional context information which are then processed by the second one, to produce the final result. Our transformation into circular programs achieves intermediate structure deforestation and multiple traversal elimination. Furthermore, the calculated programs preserve the termination properties of the original ones. |
|---|---|
| Autores principais: | Fernandes, João Paulo |
| Outros Autores: | Pardo, Alberto; Saraiva, João Alexandre |
| Assunto: | Circular programming Program calculation Shortcut fusion Deforestation |
| Ano: | 2007 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1867438565086986240 |
|---|---|
| author | Fernandes, João Paulo |
| author2 | Pardo, Alberto Saraiva, João Alexandre |
| author2_role | author author |
| author_facet | Fernandes, João Paulo Pardo, Alberto Saraiva, João Alexandre |
| author_role | author |
| contributor_name_str_mv | RepositóriUM - Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Fernandes, João Paulo\"},{\"Person.name\":\"Pardo, Alberto\"},{\"Person.name\":\"Saraiva, João Alexandre\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | RepositóriUM - Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Fernandes, João Paulo Pardo, Alberto Saraiva, João Alexandre |
| datacite.date.Accepted.fl_str_mv | 2007-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2015-07-14T14:47:03Z |
| datacite.date.embargoed.fl_str_mv | 2015-07-14T14:47:03Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Circular programming Program calculation Shortcut fusion Deforestation |
| datacite.titles.title.fl_str_mv | A shortcut fusion rule for circular program calculation |
| dc.contributor.none.fl_str_mv | RepositóriUM - Universidade do Minho |
| dc.creator.none.fl_str_mv | Fernandes, João Paulo Pardo, Alberto Saraiva, João Alexandre |
| dc.date.Accepted.fl_str_mv | 2007-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2015-07-14T14:47:03Z |
| dc.date.embargoed.fl_str_mv | 2015-07-14T14:47:03Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/36104 |
| dc.language.none.fl_str_mv | eng |
| dc.publisher.none.fl_str_mv | ACM |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.subject.none.fl_str_mv | Circular programming Program calculation Shortcut fusion Deforestation |
| dc.title.fl_str_mv | A shortcut fusion rule for circular program calculation |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| description | Circular programs are a powerful technique to express multiple traversal algorithms as a single traversal function in a lazy setting. In this paper, we present a shortcut deforestation technique to calculate circular programs. The technique we propose takes as input the composition of two functions, such that the first builds an intermediate structure and some additional context information which are then processed by the second one, to produce the final result. Our transformation into circular programs achieves intermediate structure deforestation and multiple traversal elimination. Furthermore, the calculated programs preserve the termination properties of the original ones. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | conferencePaper |
| fulltext.url.fl_str_mv | https://repositorium.uminho.pt/bitstreams/617bba43-7f26-4730-b9a6-b70bb0e708fd/download |
| id | rum_5b85525a02c559dfdaeacb1a05f1d3ca |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/36104 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/36104 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Fernandes, João Paulo Pardo, Alberto Saraiva, João Alexandre |
| publishDate | 2007 |
| publisher.none.fl_str_mv | ACM |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engACMporCircular programs are a powerful technique to express multiple traversal algorithms as a single traversal function in a lazy setting. In this paper, we present a shortcut deforestation technique to calculate circular programs. The technique we propose takes as input the composition of two functions, such that the first builds an intermediate structure and some additional context information which are then processed by the second one, to produce the final result. Our transformation into circular programs achieves intermediate structure deforestation and multiple traversal elimination. Furthermore, the calculated programs preserve the termination properties of the original ones.application/pdfporA shortcut fusion rule for circular program calculationFernandes, João PauloPardo, AlbertoSaraiva, João AlexandreHostingInstitutionOrganizationalRepositóriUM - Universidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptISBNIsPartOf9781595936745DOIIsPartOf10.1145/1291201.12912162015-07-14T14:47:03Z20072007-01-01T00:00:00ZHandlehttps://hdl.handle.net/1822/36104http://purl.org/coar/access_right/c_abf2open accessCircular programmingProgram calculationShortcut fusionDeforestation176371 bytesother research producthttp://purl.org/coar/resource_type/c_5794conference paperhttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://repositorium.uminho.pt/bitstreams/617bba43-7f26-4730-b9a6-b70bb0e708fd/download |
| spellingShingle | A shortcut fusion rule for circular program calculation Fernandes, João Paulo Circular programming Program calculation Shortcut fusion Deforestation |
| status | SINGLETON |
| subject.fl_str_mv | Circular programming Program calculation Shortcut fusion Deforestation |
| title | A shortcut fusion rule for circular program calculation |
| title_full | A shortcut fusion rule for circular program calculation |
| title_fullStr | A shortcut fusion rule for circular program calculation |
| title_full_unstemmed | A shortcut fusion rule for circular program calculation |
| title_short | A shortcut fusion rule for circular program calculation |
| title_sort | A shortcut fusion rule for circular program calculation |
| topic | Circular programming Program calculation Shortcut fusion Deforestation |
| topic_facet | Circular programming Program calculation Shortcut fusion Deforestation |
| url | https://hdl.handle.net/1822/36104 |
| visible | 1 |