Preview
Unable to display preview. Download preview PDF.
References
Burstall, R.M. and Darlington, J., Some transformations for developing recursive programs. Proc. of 1975 International Conference on Reliable Software, Los Angeles.
Chang, C.L. and Lee, R.C.T., Symbolic logic and mechanical theorem proving, Academic Press Inc., New Jork 1973.
Chang, C.L., Lee, R.C.T. and Waldinger, R.J., An improved program-synthesizing algorithm and its correctness. Com. ACM, vol.17; n.4, 1974.
Constable, R.L., Constructive mathematics and automatic program writers. IFIP Congress 1971, North Holland, Amsterdam.
Darlington, J., Application of program tarnsformation to program synthesis. Proc. of International Symposium on Proving and Improving Programs, Arc et Senans, France.
Degli Antoni, G., Miglioli, P.A., and Ornaghi, M., The synthesis of programs as an approach to the construction of reliable programs. Proc. of International Symposium on Proving and Improving Programs, Arc et Senans, France, 1975.
Dershowitz, N. and Manna, Z., On automating structured programming. Proc. of International Symposium on Proving and Improving Programs, Arc et Senans, France, 1975.
Dijkstra, E.W., Guarded commands, nondeterminacy and formal derivation of programs. Comm. of the ACM, vol 18, n.8.
Hoare, C.A.R., An axiomatic basis of computer programming. Com of the ACM, vol.12, n.10, 1969.
Kleene, S.C., Introduction to methamatematics, North Holland, Amsterdam 1950.
Kowalski, R., Predicate logic as a programming language. Proc. IFIP 1974.
Manna, Z., The correctness of programs. J. of Comp. and System Science, 3, 1969.
Miglioli,P. and Ornaghi,M., Notes on motivation languages and synthesis maps. Internal report of the Instituto di Cibernetica dell'Università di Milano, Via Viotti, 5 Milano (1976), available.
Miglioli,M. and Ornaghi,M., A purely logical computing model: the open proofs as programs. Internal report of the Istituto di Cibernetica — Università di Milano, Via Viotti, 5 Milano (1977), available (presented at the Workshop on Artificial Intelligence, Bad Honnef 1977, Germany).
Prawitz, D., Ideas and results in proof-theory. Proc. of the second scandinavian logic symposium, North Holland, Amsterdam.
Degli Antoni,G., Miglioli, P. and Ornaghi,M., Procedure per la sintesi di programmi. To appear in Informatica.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miglioli, P.A., Ornaghi, M. (1977). A calculus to build up correct programs. In: Gruska, J. (eds) Mathematical Foundations of Computer Science 1977. MFCS 1977. Lecture Notes in Computer Science, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08353-7_161
Download citation
DOI: https://doi.org/10.1007/3-540-08353-7_161
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08353-5
Online ISBN: 978-3-540-37285-1
eBook Packages: Springer Book Archive