Autor: Erdweg, Sebastian and Mezini, Mira - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Erdweg, Sebastian Autor Mezini, Mira

1. CPL: A Core Language for Cloud Computing - Technical Report.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Typ:: Zeitschriftenaufsatz

2. 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
Typ:: Konferenzbeitrag

3. 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
Typ:: Konferenzbeitrag

4. 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
Typ:: Konferenzbeitrag

5. 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
Typ:: Konferenzbeitrag

6. Using Vampire in Soundness Proofs of Type Systems.

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

7. Type-safe, Polyvariadic Event Correlation

Autoren:: Bračevac, Oliver; Salvaneschi, Guido; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Typ:: Preprint

8. A Co-contextual Type Checker for Featherweight Java (incl. Proofs)

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bračevac, Oliver; Bejleri, Andi; Mezini, Mira
Veröffentlichungsdatum:: 2017
Typ:: Preprint

9. CPL: A Core Language for Cloud Computing -- Technical Report

Autoren:: Bračevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Typ:: Preprint

10. Toward incremental type checking for Java.

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