Publikationsart: Konferenzbeitrag / Organisationseinheit: Praktische Informatik - Universitätsbibliographie Suchergebnisse

Neu anfangen Publikationsart Konferenzbeitrag Organisationseinheit Praktische Informatik

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

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

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

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

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

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

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

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

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

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

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

« Vorherige
Nächste »
1
2
3
4
5
6
…
14
15