Universitšt Karlsruhe
Negative Application Conditions in GrGen

Studien thesis (closed)

Extension of GrGen with negative application contexts in graph patterns

Finding subgraphs in graph, one frequently wants to express not only the presence but the absence of certain nodes or edges. Therefore one extends the matcher generator to handle negative application conditions (NACs). These NACs are useful while implementing some standard optimizations in compilers (e.g. dead code elimination)

Advisors

Alumni
Prof. Sebastian Hack
Dr. Rubino Geiß

Realizer

Former Students
Daniel Grund
Login
Links