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

  • Christophe Bauvir

Thèse de l'étudiant: Master typesMaster en sciences informatiques

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.
Date de réussite1996
langueAnglais
Institution diplomante
  • Université de Namur
SuperviseurNaji Habra (Promoteur)

Citer ceci

An architecture and an Abstract Data Type for an Inductive Schema-Guided Logic Program Synthesizer
Bauvir, C. (Auteur). 1996

Thèse de l'étudiant: Master typesMaster en sciences informatiques