Abstract
Starting from a recent published paper of W. Bibel we show that it is sometimes useless to specify completely a problem at first. A new method of generalization, useful for output variables, is also exhibited and discussed.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. BIDOIT, Ch. GRESSE, G. GUIHO: "A system which synthesizes array-manipulating programs from specifications". Proc. 6th IJCAI, p. 63–65, Tokyo 1979.
W. BIBEL: "Syntax-directed, semantic — supported program synthesis". proc. 4th Workshop on Automated Deduction, p. 140–147, Austin (Texas) 1979.
GREEN. C. Cordell: "A summary of the PSI program synthesis system". Proc. 5th IJCAI. Cambridge 1977. P. 380–381.
J. GUTTAG, J. HORNING: "The Algebraic specification of abstract data types". Acta Informatica 10, 1978.
D.J. LEHMAN, M.A. SMITH: "Abstract data types: a synthetic approach". Technical Note, Warwick, 1977.
Y. KODRATOFF: "Choix d'un programme LISP correspondant à un exemple". Congrès AFCET, Chatenay-Malabry (France), 1978.
Z. MANNA, R. WALDINGER: "Synthesis: Dreams→Programs". Technical Note 156. SRI, 1977.
Z. MANNA, R. WALDINGER: "A deductive approach to program synthesis". Proc. 6th IJCAI, p. 542–551, Tokyo 1979.
B. WEGBREIT: "Goal directed program transformations". IEEE Trans. on Software Eng., vol. 2, No2, 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guiho, G., Gresse, C. (1980). Program synthesis from incomplete specifications. In: Bibel, W., Kowalski, R. (eds) 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980. CADE 1980. Lecture Notes in Computer Science, vol 87. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10009-1_5
Download citation
DOI: https://doi.org/10.1007/3-540-10009-1_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10009-6
Online ISBN: 978-3-540-38140-2
eBook Packages: Springer Book Archive