Unfold/fold program transformations

@inproceedings{Kott1986UnfoldfoldPT,
  title={Unfold/fold program transformations},
  author={Laurent Kott},
  year={1986}
}

Topics from this paper.

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 22 CITATIONS

An Unfold / Fold Transformation Framework forDe nite

Logi, ProgramsAbhik
  • 2013
VIEW 2 EXCERPTS
CITES RESULTS & BACKGROUND

Completeness of Unfolding for Rewriting Logic Theories

  • 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
  • 2010
VIEW 1 EXCERPT
CITES BACKGROUND

Computational Logic: Logic Programming and Beyond

  • Lecture Notes in Computer Science
  • 2002
VIEW 2 EXCERPTS
CITES METHODS & BACKGROUND