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 :
Exploration of language specifications by compilation to first-order logic.
[Online-Edition: http://doi.acm.org/10.1145/2967973.2968606]
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.
[Book Section] , (2016)

Official URL: http://doi.acm.org/10.1145/2967973.2968606
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: Department of Computer Science > Software Technology
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:

Optionen (nur für Redakteure)

View Item View Item