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