De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M. (2015). Proving correctness of imperative programs by linearizing constrained horn clauses. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 15(4-5), 635-650 [10.1017/S1471068415000289].

Proving correctness of imperative programs by linearizing constrained horn clauses

PETTOROSSI, ALBERTO;
2015-01-01

2015
Pubblicato
Rilevanza internazionale
Articolo
Esperti anonimi
Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
English
De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M. (2015). Proving correctness of imperative programs by linearizing constrained horn clauses. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 15(4-5), 635-650 [10.1017/S1471068415000289].
De Angelis, E; Fioravanti, F; Pettorossi, A; Proietti, M
Articolo su rivista
File in questo prodotto:
File Dimensione Formato  
2015-ICLP15-Cork-Eire-Proietti-et-al.pdf

solo utenti autorizzati

Licenza: Non specificato
Dimensione 386.75 kB
Formato Adobe PDF
386.75 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/2108/152667
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 14
social impact