A fold/unfold transformation framework for rewrite theories extended to CCT

María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi. A fold/unfold transformation framework for rewrite theories extended to CCT. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. pages 43-52, ACM, 2010. [doi]

@inproceedings{AlpuenteBBF10,
  title = {A fold/unfold transformation framework for rewrite theories extended to CCT},
  author = {María Alpuente and Demis Ballis and Michele Baggi and Moreno Falaschi},
  year = {2010},
  doi = {10.1145/1706356.1706367},
  url = {http://doi.acm.org/10.1145/1706356.1706367},
  tags = {graph transformation, graph-rewriting, rewriting, transformation},
  researchr = {https://researchr.org/publication/AlpuenteBBF10},
  cites = {0},
  citedby = {0},
  pages = {43-52},
  booktitle = {Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010},
  editor = {John P. Gallagher and Janis Voigtländer},
  publisher = {ACM},
  isbn = {978-1-60558-727-1},
}