1. Exploration of language specifications by compilation to first-order logic. Autoren: Grewe, Sylvia; Erdweg, Sebastian; Raulf, Michael; Mezini, Mira Editoren: Cheney, James; Vidal, Germán Veröffentlichungsdatum: 2016 Typ: Konferenzbeitrag