Fusing Logic and Control with Local Transformations: An Example Optimization

Patricia Johann, Eelco Visser. Fusing Logic and Control with Local Transformations: An Example Optimization. Electronic Notes in Theoretical Computer Science, 57:144-162, 2001. [doi]

@article{JohannV01,
  title = {Fusing Logic and Control with Local Transformations: An Example Optimization},
  author = {Patricia Johann and Eelco Visser},
  year = {2001},
  doi = {https://doi.org/10.1016/S1571-0661(04)00271-3},
  tags = {programming languages, optimization, reusable components, rule-based, generic programming, graph transformation, separation of concerns, Stratego/XT, transformation language, term rewriting, reuse, graph-rewriting, rules, logic programming, programming, context-aware, logic, program optimization, innermost rewriting, rewriting logic, rewriting, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/JohannV01},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {57},
  pages = {144-162},
}