Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/6228
Título: | A local graph-rewriting system for deciding equality in sum-product theories |
Autor(es): | Pinto, Jorge Sousa Almeida, José Bacelar Vilaça, Miguel |
Data: | 2006 |
Citação: | INTERNATIONAL WORKSHOP ON TERM GRAPH REWRITING, 3, Viena, Áustria, 2006 – “TERMGRAPH 2006”. [S.l. : s.n., 2006]. |
Resumo(s): | In this paper we give a graph-based decision procedure for a calculus with sum and product types. Al- though our motivation comes from the Bird-Meertens approach to reasoning algebraically about functional programs, the language used here can be seen as the internal language of a category with binary products and coproducts. As such, the decision procedure presented has independent interest. A standard approach based on term rewriting would work modulo a set of equations; the present work proposes a simpler approach, based on graph-rewriting. We show in turn how the system covers reflection equational laws, fusion laws, and cancel lation laws. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/6228 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
sum-product.pdf | Documento principal | 1,52 MB | Adobe PDF | Ver/Abrir |