Stem tranform$ (all stems)
3 papers:
- LOPSTR-2000-SerebrenikS #analysis #logic programming #source code #termination
- Non-tranformational termination analysis of logic programs, based on general term-orderings (AS, DDS).
- WAGA-1990-Wilhelm #attribute grammar #functional
- Tree Tranformations, Functional Languages, and Attribute Grammars (RW), pp. 116–129.
- ICALP-1972-Takahashi #set
- Primitive Tranformations of Regular Sets and Recognizable Sets (MT), pp. 475–480.