Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver.

Oszkr Semerth, kos Horvth, Dniel Varr

Browse the full MODELS paper archive.