Skip to main content
SpringerLink
Log in

Program synthesis from incomplete specifications

  • Tuesday Afternoon
  • Conference paper
  • First Online:
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 (CADE 1980)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 87))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. W. BIBEL: "Syntax-directed, semantic — supported program synthesis". proc. 4th Workshop on Automated Deduction, p. 140–147, Austin (Texas) 1979.

    Google Scholar 

  3. GREEN. C. Cordell: "A summary of the PSI program synthesis system". Proc. 5th IJCAI. Cambridge 1977. P. 380–381.

    Google Scholar 

  4. J. GUTTAG, J. HORNING: "The Algebraic specification of abstract data types". Acta Informatica 10, 1978.

    Google Scholar 

  5. D.J. LEHMAN, M.A. SMITH: "Abstract data types: a synthetic approach". Technical Note, Warwick, 1977.

    Google Scholar 

  6. Y. KODRATOFF: "Choix d'un programme LISP correspondant à un exemple". Congrès AFCET, Chatenay-Malabry (France), 1978.

    Google Scholar 

  7. Z. MANNA, R. WALDINGER: "Synthesis: Dreams→Programs". Technical Note 156. SRI, 1977.

    Google Scholar 

  8. Z. MANNA, R. WALDINGER: "A deductive approach to program synthesis". Proc. 6th IJCAI, p. 542–551, Tokyo 1979.

    Google Scholar 

  9. B. WEGBREIT: "Goal directed program transformations". IEEE Trans. on Software Eng., vol. 2, No2, 1976.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire de Recherche en Informatique, Universitè de Paris-Sud, Bât. 490, 91405, Orsay, France

    Gérard Guiho & Christian Gresse

Authors
  1. Gérard Guiho
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian Gresse
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wolfgang Bibel Robert Kowalski

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation