Author: Erdweg, Sebastian / Data source: Crossref and DBLP - Universitätsbibliographie Search Results

Start Over Author Erdweg, Sebastian Data source Crossref Data source DBLP

1. Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters

Autoren:: Keidel, Sven; Erdweg, Sebastian; Hombuecher, Tobias
Veröffentlichungsdatum:: 2023
Type:: Journal article

2. A systematic approach to deriving incremental type checkers

Autoren:: Pacak, André; Erdweg, Sebastian; Szabó, Tamás
Veröffentlichungsdatum:: 2020
Type:: Journal article

3. Evolution of Software Systems with Extensible Languages and DSLs

Autoren:: Erdweg, Sebastian; Fehrenbach, Stefan; Ostermann, Klaus
Veröffentlichungsdatum:: 2014
Type:: Journal article

4. 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
Type:: Conference

5. Abstract Features in Feature Modeling

Autoren:: Thum, Thomas; Kastner, Christian; Erdweg, Sebastian; Siegmund, Norbert
Editoren:: Almeida, Eduardo Santana de; Kishi, Tomoji; Schwanninger, Christa; John, Isabel; Schmid, Klaus
Veröffentlichungsdatum:: 2011
Type:: Conference

6. Evaluating and comparing language workbenches

Autoren:: Erdweg, Sebastian; van der Storm, Tijs; Völter, Markus; Tratt, Laurence; Bosman, Remi; Cook, William R; Gerritsen, Albert; Hulshout, Angelo; Kelly, Steven; Loh, Alex; Konat, Gabriël; Molina, Pedro J; Palatnik, Martin; Pohjonen, Risto; Schindler, Eugen; Schindler, Klemens; Solmi, Riccardo; Vergu, Vlad; Visser, Eelco; van der Vlist, Kevin; Wachsmuth, Guido; van der Woning, Jimi
Veröffentlichungsdatum:: 2015
Type:: Journal article

7. Interactive Debugging of Datalog Programs

Autoren:: Pacak, André; Erdweg, Sebastian
Veröffentlichungsdatum:: 2023
Type:: Journal article

8. Concise, Type-Safe, and Efficient Structural Diffing

Autoren:: Erdweg, Sebastian; Szabo, Tamas; Pacak, Andre
Editoren:: Freund, Stephen N; Yahav, Eran
Veröffentlichungsdatum:: 2021
Type:: Conference

9. Incremental Whole-Program Analysis in Datalog with Lattices

Autoren:: Szabo, Tamas; Erdweg, Sebastian; Bergmann, Gabor
Editoren:: Freund, Stephen N; Yahav, Eran
Veröffentlichungsdatum:: 2021
Type:: Conference

10. Incrementalizing lattice-based program analyses in Datalog

Autoren:: Szabó, Tamás; Bergmann, Gábor; Erdweg, Sebastian; Voelter, Markus
Veröffentlichungsdatum:: 2018
Type:: Journal article