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

  • Christophe Bauvir

Student thesis: Master typesMaster in Computer science

Abstract

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 of Award1996
Original languageEnglish
Awarding Institution
  • University of Namur
SupervisorNaji Habra (Supervisor)

Cite this

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

Student thesis: Master typesMaster in Computer science