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)


  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