Graph Transformation Systems in Constraint Handling Rules: Improved Methods for Program Analysis

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

Abstract:

My doctoral dissertation.