Zobrazeno 1 - 9
of 9
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
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
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:
2014 27th Symposium on Integrated Circuits & Systems Design (SBCCI); 2014, p1-8, 8p
Autor:
Clare Dixon, Marcelo Finger
This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26