Exploration of language specifications by compilation to first-order logic.
- Publication type:
- Conference
- Metadata:
-
- Autoren
-
Sylvia Grewe
-
Sebastian Erdweg
-
Michael Raulf
-
Mira Mezini
- Editoren
-
James Cheney
-
Germán Vidal
- ISBN-13
- 978-1-4503-4148-6
- Zeitschrift
- PPDP
- Paginierung
- 104 - 117
- Datum der Veröffentlichung
- 2016
- Herausgeber
- ACM
- Herausgeber URL
- https://doi.org/10.1145/2967973
- Titel
- Exploration of language specifications by compilation to first-order logic.
Data source: DBLP
- Other metadata sources:
-
- Beziehungen:
-