Publication type: Conference / Author: Mezini, Mira / Organizational unit: FB 08 Physik, Mathematik und Informatik and Praktische Informatik - Universitätsbibliographie Search Results

Start Over Publication type Conference Author Mezini, Mira Organizational unit FB 08 Physik, Mathematik und Informatik Organizational unit Praktische Informatik

1. i3QL: language-integrated live data views.

Autoren:: Mitschke, Ralf; Erdweg, Sebastian; Köhler, Mirko; Mezini, Mira; Salvaneschi, Guido
Editoren:: Black, Andrew P; Millstein, Todd D
Veröffentlichungsdatum:: 2014
Type:: Conference

2. A co-contextual formulation of type rules and its application to incremental type checking.

Autoren:: Erdweg, Sebastian; Bracevac, Oliver; Kuci, Edlira; Krebs, Matthias; Mezini, Mira
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Type:: Conference

3. 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

4. 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

5. 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

6. Toward incremental type checking for Java.

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Mezini, Mira
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Type:: Conference

7. XPoints: Extension Interfaces for Multilayered Applications

Autoren:: Aly, Mohamed; Charfi, Anis; Erdweg, Sebastian; Mezini, Mira
Editoren:: Gasevic, Dragan; Hatala, Marek; Nezhad, Hamid R Motahari; Reichert, Manfred
Veröffentlichungsdatum:: 2013
Type:: Conference

8. Modular specification and dynamic enforcement of syntactic language constraints when generating code.

Autoren:: Erdweg, Sebastian; Vergu, Vlad A; Mezini, Mira; Visser, Eelco
Editoren:: Binder, Walter; Ernst, Erik; Peternier, Achille; Hirschfeld, Robert
Veröffentlichungsdatum:: 2014
Type:: Conference

9. Finding bugs in program generators by dynamic analysis of syntactic language constraints.

Autoren:: Erdweg, Sebastian; Vergu, Vlad A; Mezini, Mira; Visser, Eelco
Editoren:: Binder, Walter; Ernst, Erik; Peternier, Achille; Hirschfeld, Robert
Veröffentlichungsdatum:: 2014
Type:: Conference

10. 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