IRIS

Pettorossi, A., Proietti, M., Senni, V. (2010). A transformation strategy for verifying logic programs on infinite lists. In Proceedings of the 25th italian conference on computational Logic (CILC'10). Rende, Italy : University of Calabria, Rende, Italy.

A transformation strategy for verifying logic programs on infinite lists

PETTOROSSI, ALBERTO;SENNI, VALERIO
2010-01-01
25th Italian conference on computational logic (CILC'10)
University of Calabria, Rende, Italy
2010
University of Calabria, Rende, Italy
Rilevanza nazionale
contributo
2010
2010
Settore ING-IND/05 - IMPIANTI E SISTEMI AEROSPAZIALI
Settore INF/01 - INFORMATICA
English
Program Transformation; Logic Programming; Infinite Lists
CEUR-WS, Vol-598, urn:nbn:de:0074-598-1. download from the authors homepage
Intervento a convegno
Pettorossi, A., Proietti, M., Senni, V. (2010). A transformation strategy for verifying logic programs on infinite lists. In Proceedings of the 25th italian conference on computational Logic (CILC'10). Rende, Italy : University of Calabria, Rende, Italy.
Pettorossi, A; Proietti, M; Senni, V
02 - Intervento a convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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