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.
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