Organisationseinheit: Programming Languages / Datenquelle: Crossref and DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Organisationseinheit Programming Languages Datenquelle Crossref Datenquelle DBLP

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

Autoren:: Keidel, Sven; Erdweg, Sebastian; Hombuecher, Tobias
Veröffentlichungsdatum:: 2023
Typ:: Zeitschriftenaufsatz

2. A systematic approach to deriving incremental type checkers

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

3. Evolution of Software Systems with Extensible Languages and DSLs

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

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
Typ:: Konferenzbeitrag

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
Typ:: Konferenzbeitrag

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
Typ:: Zeitschriftenaufsatz

7. Interactive Debugging of Datalog Programs

Autoren:: Pacak, André; Erdweg, Sebastian
Veröffentlichungsdatum:: 2023
Typ:: Zeitschriftenaufsatz

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

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

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
Typ:: Konferenzbeitrag

10. Sound and reusable components for abstract interpretation

Autoren:: Keidel, Sven; Erdweg, Sebastian
Veröffentlichungsdatum:: 2019
Typ:: Zeitschriftenaufsatz