For some applications it is useful to use terms with holes, i.e., dynamic patterns. For instance, when specifying a pattern interactively. This can be done of course by simulation; use a special constructor to indicate a hole and write operations to deal with it. An alternative might be to use ATerm wildcards . Most important is to provide support for treating terms with holes in Stratego, such as matching and unification.

Submitted on 30 November 2005 at 12:53