Unfold/Fold Transformations of CCP Programs.

Sandro Etalle Maurizio Gabbrielli Maria Chiara Meo

Published in: CONCUR (1998)

Keyphrases

computer programs
information systems
high level
search algorithm
image transformations
control structures
preserving transformations