Preview
Unable to display preview. Download preview PDF.
Bibliography
S.C. Kleene, Mathematical Logic, Wiley and Sons.
M. Davis, Computability and Unsolvability, Mc Graw Hill, New York.
J. Shoenfield, Mathematical Logic, Addison Wesley
R.L. Constable, Constructive Mathematics and Automatic Program Writers, IFIP congress 1971
E.W.Dijkstra, A Constructive Approach to the Problem of Program Correctness, B.I.T., Vol. 8.
R.W. Floyd, Assigning Meanings to Programs, Proceedings of a Symposium in Applied Mathematics, Vol. 19, Mathematical Aspects of Computer Science, American Mathematical Society.
C.A. Hoare, An Axiomatic Basis of Computer Programming, Com. ACM, Vol. 12, No 10, 1969
Z. Manna, The Correctness of Programs, Journal of Comp. and Systm. Science, Vol. 3, No 2 1969
Z. Manna, R. Waldingher, Towards Automatic Program Synthesis, Symposium on Semantic of Algorithmic Languages, Lecture Notes in Mathematics, Springer-Verlag, 1971
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.
The Problem of Synthesis in Kleene's Intuitionistic Number Theory, To appear
Author information
Authors and Affiliations
Editor information
Rights 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