TU Darmstadt / ULB / TUbiblio

Exploration of language specifications by compilation to first-order logic

Grewe, Sylvia and Erdweg, Sebastian and Raulf, Michael and Mezini, Mira (2016):
Exploration of language specifications by compilation to first-order logic.
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, ACM, pp. 104-117, [Online-Edition: http://doi.acm.org/10.1145/2967973.2968606],
[Book Section]

Item Type: Book Section
Erschienen: 2016
Creators: Grewe, Sylvia and Erdweg, Sebastian and Raulf, Michael and Mezini, Mira
Title: Exploration of language specifications by compilation to first-order logic
Language: English
Title of Book: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016
Publisher: ACM
Divisions: 20 Department of Computer Science > Software Technology
20 Department of Computer Science
Event Title: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016
Date Deposited: 28 Sep 2016 09:08
Official URL: http://doi.acm.org/10.1145/2967973.2968606
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item