Suchergebnisse - (abstrakty OR abstracts) and automation computability and recursion theory

Grammar semantics, analysis and parsing by abstract interpretation von 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 …”
Volltext

Formalization of the Computational Theory of a Turing Complete Functional Language Model von 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 …”
Volltext

On Safety of Unary and Nonunary IFP Operators von 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 …”
Volltext