Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics
Contributo in Atti di convegno
Data di Pubblicazione:
1975
Tipologia CRIS:
04B-Conference paper in rivista
Keywords:
Programming languages semantics; Symbolic interpretation; Symbolic interpretation and theorem proving
Elenco autori:
Giorgio Levi; Franco Sirovich
Link alla scheda completa:
Titolo del libro:
MFCS
Pubblicato in: