Autor: Mezini, Mira / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Mezini, Mira Datenquelle DBLP Berichtsdatum 2015 bis 2019

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

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

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

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

6. Toward incremental type checking for Java.

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

7. Towards secure integration of cryptographic software.

Autoren:: Arzt, Steven; Nadi, Sarah; Ali, Karim; Bodden, Eric; Erdweg, Sebastian; Mezini, Mira
Editoren:: Murphy, Gail C; Jr, Guy L Steele
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

8. CPL: a core language for cloud computing.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Editoren:: Fuentes, Lidia; Batory, Don S; Czarnecki, Krzysztof
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

9. Type-safe, Polyvariadic Event Correlation.

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

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