Abstract

A generic weaver is presented capable of realizing the weaving function over a large class of languages. There are several reasons why such a weaver is interesting. First, properties that can be proven about the weaver hold for all languages that fall within the domain of the weaver. Second, the problem of constructing a weaver for a particular language is reduced to constructing a language falling within the domain of the weaver.