Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ariane Alves Almeida"'
Publikováno v:
Journal of Automated Reasoning. 66:1031-1063
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a307b6a048ccc8c132dd22e982f9d2f
https://doi.org/10.1007/s10817-021-09615-x
https://doi.org/10.1007/s10817-021-09615-x
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2509dd04d78f95b015358ef1ec6f6e5
Autor:
Flávio L. C. de Moura, Ana Cristina Rocha-Oliveira, Ariane Alves Almeida, Thiago Mendonça Ferreira Ramos, Mauricio Ayala-Rincón
Publikováno v:
Formal Methods Teaching ISBN: 9783030324407
FMTea
FMTea
The construction of correct software, i.e. a computer program that meets a given specification, is an important goal in Computer Science. Nowadays, not only critical software (the ones used in aircraft, hospitals, banks, etc.) is supposed to provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de5a086d31dcaf3489ed50a4d7e3a7e7
https://doi.org/10.1007/978-3-030-32441-4_6
https://doi.org/10.1007/978-3-030-32441-4_6