An architecture and an Abstract Data Type for an Inductive Schema-Guided Logic Program Synthesizer

Résumé

An inductive schema-guided logic program synthesizer is a software allowing to automate the development of logic programs from specifications. To synthesize a logic program, the software is guided thanks to a schema, which embodies algorithm design knowledge, and mainly uses inductive inference rules to extract information from specifications. First, we introduce the program synthesis field of research and give an overview of the tool used to implement the different parts of the synthesizer. Second, we explain the notion of schema and describe an abstract data type representing schemas together with services to construct, manipulate and instantiate schemas. Finally, we propose a modular architecture for an inductive schema-guided logic program synthesizer called DIALOGS.

la date de réponse	1996
langue originale	Anglais
L'institution diplômante	Universite de Namur
Superviseur	Naji Habra (Promoteur)