Generic selections of subexpressions
Martijn Van Steenbergen, José Pedro Magalhães, Johan T. Jeuring · 2010
Tools for computer languages need position information: compilers for providing better error messages, structure editors for mapping between structural and textual views, and debuggers for navigating through a term, for instance. Manually adding position information to an abstract syntax tree is tedious and requires pervasive changes: the original tree becomes verbose and every function operating on it needs to be adapted.