- document
-
Grewe, Sylvia (author), Erdweg, S.T. (author), Pacak, André (author), Raulf, Michael (author), Mezini, Mira (author)Exploration of language specifications helps to discover errors and inconsistencies early during the development of a programming language. We propose exploration of language specifications via application of existing automated first-order theorem provers (ATPs). To this end, we translate language specifications and exploration tasks to first...journal article 2018