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.

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

BONACINA, Maria Paola
2010-01-01

Abstract

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.
2010
no
Inglese
STAMPA
Comitato scientifico
Twelfth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP)
Schloss Hagenberg, Linz, Austria
July 2010
Internazionale
contributo
Proceedings of the Twelfth International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP)
Maribel Fernandez
ACM Press
New York
STATI UNITI D'AMERICA
9781450301329
1
11
11
Satisfiability modulo theories; Combination of theories; Rewrite-based theorem proving; Speculative inferences
Invited paper
http://dx.doi.org/10.1145/1836089.1836090
https://mariapaola.github.io/
open
Bonacina, Maria Paola
1
04 Contributo in atti di convegno::04.01 Contributo in atti di convegno
273
info:eu-repo/semantics/conferenceObject
File in questo prodotto:
File Dimensione Formato  
PPDP2010OnTPforPC.pdf

accesso aperto

Descrizione: Articolo
Tipologia: Documento in Post-print
Licenza: Creative commons
Dimensione 180.86 kB
Formato Adobe PDF
180.86 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/342242
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? ND
social impact