Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini. Exploration of language specifications by compilation to first-order logic. In James Cheney, Germán Vidal, editors, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. pages 104-117, ACM, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.