A tree transformation facility using typed rewrite systems

Abstract

Tree rewrite systems with typed variables can be used to represent many tree transformations in a more compact form than systems with untyped variables. By building on the work of Eduardo PelegrfLlopart, it is possible to generate linear-time optimal solutions to SET-REACHABILITYa generalization of REACHABILITY with a possibly infinite goal set for a useful… (More)

Topics

Cite this paper

@inproceedings{Farnum2014ATT, title={A tree transformation facility using typed rewrite systems}, author={Charles Farnum}, year={2014} }