Kategorie: Publikation / Autor: Erdweg, Sebastian / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Kategorie Publikation Autor Erdweg, Sebastian Datenquelle DBLP

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

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

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

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

24. A systematic approach to deriving incremental type checkers

Autoren:: Pacak, André; Erdweg, Sebastian; Szabó, Tamás
Veröffentlichungsdatum:: 2020
Typ:: Zeitschriftenaufsatz

25. Evolution of Software Systems with Extensible Languages and DSLs

Autoren:: Erdweg, Sebastian; Fehrenbach, Stefan; Ostermann, Klaus
Veröffentlichungsdatum:: 2014
Typ:: Zeitschriftenaufsatz

26. Toward incremental type checking for Java.

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

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

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

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

30. Library-based model-driven software development with SugarJ.

Autoren:: Erdweg, Sebastian; Kats, Lennart CL; Rendel, Tillmann; Kästner, Christian; Ostermann, Klaus; Visser, Eelco
Editoren:: Lopes, Cristina Videira; Fisher, Kathleen
Veröffentlichungsdatum:: 2011
Typ:: Konferenzbeitrag