Inproceedings,

Deterministic Higher-Order Patterns for Program Transformation.

, , and .
LOPSTR, volume 3018 of Lecture Notes in Computer Science, page 128-142. Springer, (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews