Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Almeida, Ariane Alves"'
Rewriting is a framework for reasoning about functional programming. The dependency pair criterion is a well-known mechanism to analyze termination of term rewriting systems. Functional specifications with an operational semantics based on evaluation
Externí odkaz:
http://arxiv.org/abs/1911.00406
Autor:
Almeida, Ariane Alves
Publikováno v:
Repositório Institucional da UnBUniversidade de BrasíliaUNB.
Dissertação (mestrado)—Universidade de Brasília, Institudo de Ciências Exatas, Departamento de Ciência da Computação, 2014.
Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2014-10-21T13:01:44Z No. of bitstreams: 1 2014_Aria
Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2014-10-21T13:01:44Z No. of bitstreams: 1 2014_Aria
Externí odkaz:
http://repositorio.unb.br/handle/10482/16605
Publikováno v:
In Science of Computer Programming 1 September 2020 195
Autor:
Muñoz, Cesar A., Ayala-Rincón, Mauricio, Moscato, Mariano M., Dutle, Aaron M., Narkawicz, Anthony J., Almeida, Ariane Alves, da Silva, Andréia B. Avelar, Ramos, Thiago M. Ferreira
Publikováno v:
Journal of Automated Reasoning; Dec2023, Vol. 67 Issue 4, p1-30, 30p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Almeida, Ariane Alves
Publikováno v:
Repositório Institucional da UnB
Universidade de Brasília (UnB)
instacron:UNB
Universidade de Brasília (UnB)
instacron:UNB
Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2021. Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). Embora indecidível, terminação é uma propriedade
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::56593a94a5a676f47fe99d276da17cb7
https://repositorio.unb.br/handle/10482/42296
https://repositorio.unb.br/handle/10482/42296
Publikováno v:
Journal of Automated Reasoning; Nov2022, Vol. 66 Issue 4, p1031-1063, 33p
Publikováno v:
2014 27th Symposium on Integrated Circuits & Systems Design (SBCCI); 2014, p1-8, 8p