Complete Sets of Frontiers in Logic-Based Program Transformation

Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper. Complete Sets of Frontiers in Logic-Based Program Transformation. In META. pages 283-297, 1988.

@inproceedings{ChengES88,
  title = {Complete Sets of Frontiers in Logic-Based Program Transformation},
  author = {Mantis H. M. Cheng and Maarten H. van Emden and Paul A. Strooper},
  year = {1988},
  tags = {rule-based, completeness, meta programming, logic programming, logic, Meta-Environment, transformation, program transformation},
  researchr = {https://researchr.org/publication/ChengES88},
  cites = {0},
  citedby = {0},
  pages = {283-297},
  booktitle = {META},
}