Book chapter
Logic program synthesis in a higher-order setting
Computational Logic — CL 2000, pp.87-100
International Conference on Computational Logic (CL), 1st (London, United Kingdom, 24-Jul-2000–28-Jul-2000)
Lecture Notes in Computer Science (LNCS), 1861, Springer Berlin Heidelberg
2000
Abstract
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been implemented within the proof planning system λClam. The generality of the approach is such that its extension to allow synthesis of higher-order logic programs was straightforward. Some illustrative examples are given. The approach is extensible to further classes of synthesis. © Springer-Verlag Berlin Heidelberg 2000.
Details
- Title
- Logic program synthesis in a higher-order setting
- Authors
- David Lacey (Author) - University of Edinburgh, United KingdomJ Richardson (Author) - Heriot-Watt University, United KingdomA Smaill (Author) - University of Edinburgh, United Kingdom
- Contributors
- J Lloyd (Editor)V Dahl (Editor)U Furbach (Editor)M Kerber (Editor)K-K Lau (Editor)C Palamidessi (Editor)L Moniz Pereira (Editor)Y Sagiv (Editor)P J Stuckey (Editor)
- Publication details
- Computational Logic — CL 2000, pp.87-100
- Conference details
- International Conference on Computational Logic (CL), 1st (London, United Kingdom, 24-Jul-2000–28-Jul-2000)
- Series
- Lecture Notes in Computer Science (LNCS); 1861
- Publisher
- Springer Berlin Heidelberg
- Date published
- 2000
- DOI
- 10.1007/3-540-44957-4_6
- ISBN
- 9783540677970
- Organisation Unit
- Cyber Institute; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449332802621
- Output Type
- Book chapter
Metrics
396 Record Views