Zum Welttag des Buches: 15% Rabatt auf Bücher (DE/EN) und ausgewählte E-Books! Jetzt profitieren

Willkommen. Schön, sind Sie da!

Mein Ex Libris

DEFR

KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen

Erweiterte Suche

BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Termination Proofs for Logic Programs

Lutz Plümer

(0)

Erste Bewertung abgeben

This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial p...

15%

73.60

CHF62.55

Sie sparen CHF 11.05

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Beschreibung

This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. Several nontrivial examples are discussed.

Inhalt
Basic notions.- Static program properties and transformations.- Terminating logic programs.- The problem of local variables.- And/or dataflow graphs.- A termination proof procedure.- Integration of unfolding techniques.- Conclusions.