Proving program properties, symbolic evaluation and logical procedural semantics

  • Giorgio Levi
  • Franco Sirovich
Part of the Lecture Notes in Computer Science book series (LNCS, volume 32)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 3.
    Burstall, R.M., Program proving as hand simulation with a little induction. Information Processing 74. 308–312 (1974).Google Scholar
  4. 4.
    Topor, R., Verification of programs by symbolic execution-progress report. University of Edinburgh (December 1973).Google Scholar
  5. 5.
    Levi, G. and Sirovich, F., Valutazione simbolica e unificazione. Proc. Convegno di Informatica Teorica (1974), 97–116.Google Scholar
  6. 6.
    Kowalski, R.A., Predicate logic as programming language. Information processing 74. 569–574 (1974).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Giorgio Levi
    • 1
  • Franco Sirovich
    • 1
  1. 1.Istituto di Elaborazione dell'Informazione Consiglio Nazionale delle RicerchePisaItaly

Personalised recommendations