Exploration of language specifications by compilation to first-order logic.

Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini

Browse the full PPDP paper archive.