A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Guest editors' introduction Special Issue: synthesis, transformation and analysis of logic programs 2
1999
The Journal of Logic Programming
This volume contains the second part of the Special Issue on Synthesis, Transformation and Analysis of Logic Programs. The ®rst part on program analysis appeared in Vol 39(1±3). The second part includes contributions on program synthesis and program transformation. Program Synthesis, in a broad way, refers to the elaboration of a program in some systematic manner, starting from a (nonexecutable) speci®cation. Program synthesis mainly focuses on automated or semi-automated synthesis. Program
doi:10.1016/s0743-1066(99)00027-8
fatcat:tjzp4frx7beozeujr7ndjxa3iu