Sciweavers

Share
CL
2000
Springer

Logic Program Synthesis in a Higher-Order Setting

11 years 4 months ago
Logic Program Synthesis in a Higher-Order Setting
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.
David Lacey, Julian Richardson, Alan Smaill
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where CL
Authors David Lacey, Julian Richardson, Alan Smaill
Comments (0)
books