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

Neu anfangen Publikationsart Konferenzbeitrag Autor Erdweg, Sebastian

11. Software Evolution to Domain-Specific Languages.

Autoren:: Fehrenbach, Stefan; Erdweg, Sebastian; Ostermann, Klaus
Editoren:: Erwig, Martin; Paige, Richard F; Wyk, Eric Van
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

12. Layout-Sensitive Generalized Parsing.

Autoren:: Erdweg, Sebastian; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus
Editoren:: Czarnecki, Krzysztof; Hedin, Görel
Veröffentlichungsdatum:: 2012
Typ:: Konferenzbeitrag

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

14. IncA: a DSL for the definition of incremental program analyses.

Autoren:: Szabó, Tamás; Erdweg, Sebastian; Voelter, Markus
Editoren:: Lo, David; Apel, Sven; Khurshid, Sarfraz
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

15. A sound and optimal incremental build system with dynamic dependencies.

Autoren:: Erdweg, Sebastian; Lichter, Moritz; Weiel, Manuel
Editoren:: Aldrich, Jonathan; Eugster, Patrick
Veröffentlichungsdatum:: 2015
Typ:: Konferenzbeitrag

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

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

18. Variability-aware parsing in the presence of lexical macros and conditional compilation.

Autoren:: Kästner, Christian; Giarrusso, Paolo G; Rendel, Tillmann; Erdweg, Sebastian; Ostermann, Klaus; Berger, Thorsten
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag

19. A Systematic Approach to Abstract Interpretation of Program Transformations.

Autoren:: Keidel, Sven; Erdweg, Sebastian
Editoren:: Beyer, Dirk; Zufferey, Damien
Veröffentlichungsdatum:: 2020
Typ:: Konferenzbeitrag

20. Toward incremental type checking for Java.

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