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

Abstract
Publication Date:
2006
Iris type:
01.05 Abstract in rivista
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/185767
Published in:
DAGSTUHL SEMINAR PROCEEDINGS
Series