Author: Grewe, Sylvia and Mezini, Mira / Organizational unit: FB 08 Physik, Mathematik und Informatik / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Author Grewe, Sylvia Author Mezini, Mira Organizational unit FB 08 Physik, Mathematik und Informatik Data source DBLP

1. Exploration of language specifications by compilation to first-order logic.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Raulf, Michael; Mezini, Mira
Editoren:: Cheney, James; Vidal, Germán
Veröffentlichungsdatum:: 2016
Type:: Conference

2. Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Mezini, Mira
Editoren:: Kovács, Laura; Voronkov, Andrei
Veröffentlichungsdatum:: 2016
Type:: Conference

3. Using Vampire in Soundness Proofs of Type Systems.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Mezini, Mira
Editoren:: Kovács, Laura; Voronkov, Andrei
Veröffentlichungsdatum:: 2015
Type:: Conference

4. Exploration of language specifications by compilation to first-order logic

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Raulf, Michael; Mezini, Mira
Veröffentlichungsdatum:: 2018
Type:: Journal article

5. System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Mezini, Mira
Editoren:: Sabel, David; Thiemann, Peter
Veröffentlichungsdatum:: 2018
Type:: Conference

6. Type systems for the masses: deriving soundness proofs and efficient checkers.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Wittmann, Pascal; Mezini, Mira
Editoren:: Murphy, Gail C; Jr, Guy L Steele
Veröffentlichungsdatum:: 2015
Type:: Conference