Publikationsart: Konferenzbeitrag / Organisationseinheit: Institut für Informatik - Universitätsbibliographie Suchergebnisse

Neu anfangen Publikationsart Konferenzbeitrag Organisationseinheit Institut für Informatik

11. Efficient development of consistent projectional editors using grammar cells.

Autoren:: Voelter, Markus; Szabó, Tamás; Lisson, Sascha; Kolb, Bernd; Erdweg, Sebastian; Berger, Thorsten
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Typ:: Konferenzbeitrag

12. A framework for extensible languages.

Autoren:: Erdweg, Sebastian; Rieger, Felix
Editoren:: Järvi, Jaakko; Kästner, Christian
Veröffentlichungsdatum:: 2013
Typ:: Konferenzbeitrag

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

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

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

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

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

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

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

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

« Vorherige
Nächste »
1
2
3
4
5
6
…
35
36