Top-down approach to the synthesis of programs

  • G. Degli Antoni
  • P. A. Miglioli
  • M. Ornaghi
Preuves Formelles De Programmes Proving Properties Of Programs
Part of the Lecture Notes in Computer Science book series (LNCS, volume 19)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1-KLEENE [1968].
    S.C. Kleene, Mathematical Logic, Wiley and Sons.Google Scholar
  2. 2-DAVIS [1958].
    M. Davis, Computability and Unsolvability, Mc Graw Hill, New York.Google Scholar
  3. 3-SHOENFIELD [1967].
    J. Shoenfield, Mathematical Logic, Addison WesleyGoogle Scholar
  4. 4-CONSTABLE [1971].
    R.L. Constable, Constructive Mathematics and Automatic Program Writers, IFIP congress 1971Google Scholar
  5. 5-DIJKSTRA [1968].
    E.W.Dijkstra, A Constructive Approach to the Problem of Program Correctness, B.I.T., Vol. 8.Google Scholar
  6. 6-FLOYD [1967].
    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. 7-HOARE [1969].
    C.A. Hoare, An Axiomatic Basis of Computer Programming, Com. ACM, Vol. 12, No 10, 1969Google Scholar
  8. 8-MANNA [1969].
    Z. Manna, The Correctness of Programs, Journal of Comp. and Systm. Science, Vol. 3, No 2 1969Google Scholar
  9. 9-MANNA, WALDINGER [1971]
    Z. Manna, R. Waldingher, Towards Automatic Program Synthesis, Symposium on Semantic of Algorithmic Languages, Lecture Notes in Mathematics, Springer-Verlag, 1971Google Scholar
  10. 10-MARINI, MIGLIOLI [1973]
    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. 11-MARINI, MIGLIOLI [1974]
    The Problem of Synthesis in Kleene's Intuitionistic Number Theory, To appearGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • G. Degli Antoni
    • 1
  • P. A. Miglioli
    • 1
  • M. Ornaghi
    • 1
  1. 1.Gruppo di Elettronica e CiberneticaIstituto di Fisica dell'UniversitàItaly

Personalised recommendations