Advertisement

Program synthesis from incomplete specifications

  • Gérard Guiho
  • Christian Gresse
Tuesday Afternoon
Part of the Lecture Notes in Computer Science book series (LNCS, volume 87)

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.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. BIDOIT, Ch. GRESSE, G. GUIHO: "A system which synthesizes array-manipulating programs from specifications". Proc. 6th IJCAI, p. 63–65, Tokyo 1979.Google Scholar
  2. 2.
    W. BIBEL: "Syntax-directed, semantic — supported program synthesis". proc. 4th Workshop on Automated Deduction, p. 140–147, Austin (Texas) 1979.Google Scholar
  3. 3.
    GREEN. C. Cordell: "A summary of the PSI program synthesis system". Proc. 5th IJCAI. Cambridge 1977. P. 380–381.Google Scholar
  4. 4.
    J. GUTTAG, J. HORNING: "The Algebraic specification of abstract data types". Acta Informatica 10, 1978.Google Scholar
  5. 5.
    D.J. LEHMAN, M.A. SMITH: "Abstract data types: a synthetic approach". Technical Note, Warwick, 1977.Google Scholar
  6. 6.
    Y. KODRATOFF: "Choix d'un programme LISP correspondant à un exemple". Congrès AFCET, Chatenay-Malabry (France), 1978.Google Scholar
  7. 7.
    Z. MANNA, R. WALDINGER: "Synthesis: Dreams→Programs". Technical Note 156. SRI, 1977.Google Scholar
  8. 8.
    Z. MANNA, R. WALDINGER: "A deductive approach to program synthesis". Proc. 6th IJCAI, p. 542–551, Tokyo 1979.Google Scholar
  9. 9.
    B. WEGBREIT: "Goal directed program transformations". IEEE Trans. on Software Eng., vol. 2, No2, 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Gérard Guiho
    • 1
  • Christian Gresse
    • 1
  1. 1.Laboratoire de Recherche en InformatiqueUniversitè de Paris-SudOrsayFrance

Personalised recommendations