Preview
Unable to display preview. Download preview PDF.
References
Boyer, C.S. and Moore, J.S., Proving theorems about LISP functions. Proc. Third Int'l Joint Conf. on Artificial Intelligence (1973), 486–493.
Moore, J.S., Computational logic: structure sharing and proof of program properties Part II. DCL Memo No 67, School of Artificial Intelligence, University of Edinburgh (1973).
Burstall, R.M., Program proving as hand simulation with a little induction. Information Processing 74. 308–312 (1974).
Topor, R., Verification of programs by symbolic execution-progress report. University of Edinburgh (December 1973).
Levi, G. and Sirovich, F., Valutazione simbolica e unificazione. Proc. Convegno di Informatica Teorica (1974), 97–116.
Kowalski, R.A., Predicate logic as programming language. Information processing 74. 569–574 (1974).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Levi, G., Sirovich, F. (1975). Proving program properties, symbolic evaluation and logical procedural semantics. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975. MFCS 1975. Lecture Notes in Computer Science, vol 32. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07389-2_211
Download citation
DOI: https://doi.org/10.1007/3-540-07389-2_211
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07389-5
Online ISBN: 978-3-540-37585-2
eBook Packages: Springer Book Archive