Logo des Repositoriums
 
Zeitschriftenartikel

Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2010

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Springer

Zusammenfassung

The dissertation “Static Termination Analysis for Prolog using Term Rewriting and SAT Solving” (Schneider-Kamp in Dissertation, RWTH Aachen University, 2008) presents a fresh approach to automated termination analysis of Prolog programs. This approach is based on the following three main concepts: the use of program transformations to obtain simpler termination problems, a framework for modular termination analysis, and the encoding of search problems into satisfiability of propositional logic (SAT) for efficient generation of ranking functions.

Beschreibung

Schneider-Kamp, Peter (2010): Static Termination Analysis for Prolog Using Term Rewriting and SAT Solving. KI - Künstliche Intelligenz: Vol. 24, No. 1. Springer. PISSN: 1610-1987. pp. 79-81

Schlagwörter

Zitierform

DOI

Tags