๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Logic programs as specifications in the inductive verification of logic programs

โœ Scribed by Marco Comini; Roberta Gori; Giorgio Levi

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
149 KB
Volume
48
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Inductive synthesis of recursive logic p
Inductive synthesis of recursive logic programs: achievements and prospects
โœ Pierre Flener; Serap Yฤฑilmaz ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 377 KB

The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging subยฎeld both of Inductive Logic Programming (ILP) and of the synthesis (in general) of logic programs, from formal speciยฎcations. We ยฎrst overview past and present achieve

The relationship between logic programs
The relationship between logic programs and specifications-the subset example revisited
โœ Kung-Kiu Lau; Mario Ornaghi ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 1000 KB

The fundamental relation between a program P and its specification S is correctness: P satisfies S if and only if P is correct with respect to S. In logic programming, this relationship can be particularly close, since logic can be used to express both specifications and programs. Indeed logic progr