Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs

Abstract
Data di Pubblicazione:
2006
Tipologia CRIS:
01.05 Abstract in rivista
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/185767
Pubblicato in:
DAGSTUHL SEMINAR PROCEEDINGS
Series