Frank Raiser. Graph Transformation Systems in Constraint Handling Rules: Improved Methods for Program Analysis. 2010, Dissertation

Abstract:

My doctoral dissertation.