Publications

On theorem proving for program checking - Historical perspective and recent developments  (2010)

Authors:
BONACINA, Maria Paola
Title:
On theorem proving for program checking - Historical perspective and recent developments
Year:
2010
Type of item:
Contributo in atti di convegno
Tipologia ANVUR:
Contributo in Atti di convegno
Language:
Inglese
Format:
A Stampa
Congresso:
Twelfth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP)
Place:
Schloss Hagenberg, Linz, Austria
Period:
July 2010
Publisher:
ACM Press
ISBN:
9781450301329
Page numbers:
1-11
Keyword:
Satisfiability modulo theories; Combination of theories; Rewrite-based theorem proving; Speculative inferences
Short description of contents:
This article is a survey of recent results, related works and new challenges in automated theorem proving for program checking. The aim is to give some historical perspective, albeit necessarily incomplete, and highlight some of the turning points that made crucial advances possible.
Note:
Invited paper
Web page:
http://dx.doi.org/10.1145/1836089.1836090; http://profs.sci.univr.it/~bonacina/dpllSPsi.html; http://profs.sci.univr.it/~bonacina/worksbydate.html; http://profs.sci.univr.it/~bonacina/pub_conf.html
Product ID:
57184
Handle IRIS:
11562/342242
Deposited On:
July 30, 2010
Last Modified:
June 30, 2020
Bibliographic citation:
BONACINA, Maria Paola, On theorem proving for program checking - Historical perspective and recent developments  in Proceedings of the Twelfth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP)ACM PressProceedings of "Twelfth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP)" , Schloss Hagenberg, Linz, Austria , July 2010 , 2010pp. 1-11

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo IRIS

Related projects
Title Department Managers
Integrazione di metodi di ragionamento automatico nel model checking: verifica formale automatica di sistemi di grande scala e a stati infiniti - Progetto ed integrazione di macchine di prova per l'analisi di programmi (PRIN 2007) Department Informatica Maria Paola Bonacina
<<back

Activities

Research facilities