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éussite||1996|
|Superviseur||Naji Habra (Promoteur)|
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 types › Master en sciences informatiques