Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1975: Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 pp 294–301Cite as

Proving program properties, symbolic evaluation and logical procedural semantics

  • Communications
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 32))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boyer, C.S. and Moore, J.S., Proving theorems about LISP functions. Proc. Third Int'l Joint Conf. on Artificial Intelligence (1973), 486–493.

    Google Scholar 

  2. 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).

    Google Scholar 

  3. Burstall, R.M., Program proving as hand simulation with a little induction. Information Processing 74. 308–312 (1974).

    Google Scholar 

  4. Topor, R., Verification of programs by symbolic execution-progress report. University of Edinburgh (December 1973).

    Google Scholar 

  5. Levi, G. and Sirovich, F., Valutazione simbolica e unificazione. Proc. Convegno di Informatica Teorica (1974), 97–116.

    Google Scholar 

  6. Kowalski, R.A., Predicate logic as programming language. Information processing 74. 569–574 (1974).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Istituto di Elaborazione dell'Informazione Consiglio Nazionale delle Ricerche, Pisa, Italy

    Giorgio Levi & Franco Sirovich

Authors
  1. Giorgio Levi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Franco Sirovich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jíří Bečvář

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation