This page is created as to supplement the proposed paper Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver by Oszkár Semeráth, Ákos Horváth and Dániel Varró
Attachment:
Image may be NSFW.
Clik here to view.
DSL2SMT_TechReport_v3.pdf
Clik here to view.
DSL2SMT_TechReport_v3.pdfImage may be NSFW.
Clik here to view.test cases.zip
Clik here to view.
test cases.zip