Výsledky vyhledávání - abstract and (automatizace OR automation) computability and recursion theory

Grammar semantics, analysis and parsing by abstract interpretation Autor Cousot, Patrick, Cousot, Radhia

“…We study abstract interpretations of a fixpoint protoderivation semantics defining the maximal derivations of a transitional semantics of context-free grammars akin to pushdown automata…”
Získat plný text

Formalization of the Computational Theory of a Turing Complete Functional Language Model Autor Ramos, Thiago Mendonça Ferreira, Almeida, Ariane Alves, Ayala-Rincón, Mauricio

“…This work presents a formalization in PVS of the computational theory for a computational model given as a class of partial recursive functions called PVS0…”
Získat plný text

On Safety of Unary and Nonunary IFP Operators Autor Dudakov, S. M.

“… Therefore, the problem under investigation is directly related to database theory. The problem arises from the fact that if recursion and universe relations, e.g…”
Získat plný text