Výsledky vyhľadávania - (abstract OR abstraktu) and (automatic 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ískať plný text

Recursion leads to automatic variable blocking for dense linear-algebra algorithms Autor Gustavson, F. G.

“…Gustavson describes some modifications of the LAPACK dense linear-algebra algorithms using recursion, which leads to automatic variable blocking…”
Získať 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ískať plný text

Directed Binary Hierarchies and Directed Ultrametrics Autor Lerman, I-C., Kuntz, P.

“…Directed binary hierarchies have been introduced in order to give a graphical reduced representation of a family of association rules. This type of structure…”
Získať plný text

Structural Classification Analysis of Three-Way Dissimilarity Data Autor Vicari, Donatella, Vichi, Maurizio

“…The paper presents a methodology for classifying three-way dissimilarity data, which are reconstructed by a small number of consensus classifications of the…”
Získať 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ískať plný text

Proof technology and computation Autor Schwichtenberg, Helmut, Spies, Katharina

“…Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and…”
Získať plný text