Article,

Term rewriting with traversal functions

, , and .
ACM Trans. Softw. Eng. Methodol., 12 (2): 152--190 (2003)
DOI: http://doi.acm.org/10.1145/941566.941568

Meta data

Tags

Users

  • @tommens
  • @evol
  • @kimmens
  • @pdeleenh
  • @dparigot

Comments and Reviews