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

Neu anfangen Publikationsart Konferenzbeitrag Autor Erdweg, Sebastian Autor Mezini, Mira

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

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

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

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

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