Skip to main content
SpringerLink
Log in

Top-down approach to the synthesis of programs

  • Preuves Formelles De Programmes Proving Properties Of Programs
  • Conference paper
  • First Online:
Book cover Programming Symposium

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

The present research has been sponsored by CNR (Progetto per la Informatica) and by Honeywell Information System Italy (project Ast).

Milano 1974

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.

Bibliography

  1. S.C. Kleene, Mathematical Logic, Wiley and Sons.

    Google Scholar 

  2. M. Davis, Computability and Unsolvability, Mc Graw Hill, New York.

    Google Scholar 

  3. J. Shoenfield, Mathematical Logic, Addison Wesley

    Google Scholar 

  4. R.L. Constable, Constructive Mathematics and Automatic Program Writers, IFIP congress 1971

    Google Scholar 

  5. E.W.Dijkstra, A Constructive Approach to the Problem of Program Correctness, B.I.T., Vol. 8.

    Google Scholar 

  6. R.W. Floyd, Assigning Meanings to Programs, Proceedings of a Symposium in Applied Mathematics, Vol. 19, Mathematical Aspects of Computer Science, American Mathematical Society.

    Google Scholar 

  7. C.A. Hoare, An Axiomatic Basis of Computer Programming, Com. ACM, Vol. 12, No 10, 1969

    Google Scholar 

  8. Z. Manna, The Correctness of Programs, Journal of Comp. and Systm. Science, Vol. 3, No 2 1969

    Google Scholar 

  9. Z. Manna, R. Waldingher, Towards Automatic Program Synthesis, Symposium on Semantic of Algorithmic Languages, Lecture Notes in Mathematics, Springer-Verlag, 1971

    Google Scholar 

  10. D. Marini, P.A. Miglioli, Characterization of Programs and their Synthesis from a formalized Theory, Proceedings of a Symposium on Mathematical Foundations of Computer Science, High Tatras.

    Google Scholar 

  11. The Problem of Synthesis in Kleene's Intuitionistic Number Theory, To appear

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gruppo di Elettronica e Cibernetica, Istituto di Fisica dell'Università, Italy

    G. Degli Antoni, P. A. Miglioli & M. Ornaghi

Authors
  1. G. Degli Antoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. P. A. Miglioli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Ornaghi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Robinet

Rights and permissions

Reprints and permissions

Copyright information

© 1974 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Degli Antoni, G., Miglioli, P.A., Ornaghi, M. (1974). Top-down approach to the synthesis of programs. In: Robinet, B. (eds) Programming Symposium. Lecture Notes in Computer Science, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06859-7_127

Download citation

  • DOI: https://doi.org/10.1007/3-540-06859-7_127

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06859-4

  • Online ISBN: 978-3-540-37819-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation