Zobrazeno 1 - 8
of 8
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
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
Publikováno v:
2014 27th Symposium on Integrated Circuits & Systems Design (SBCCI); 2014, p1-6, 6p
This book highlights recent research on intelligent systems design and applications. It presents 100 selected papers from the 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017), which was held in Delhi, India fro
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verific