Publication type: Journal article / Organizational unit: Praktische Informatik / Data source: Crossref and DBLP - Universitätsbibliographie Search Results

Start Over Publication type Journal article Organizational unit Praktische Informatik 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. 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

5. Interactive Debugging of Datalog Programs

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

6. A Module-System Discipline for Model-Driven Software Development

Autoren:: Erdweg, Sebastian; Ostermann, Klaus
Veröffentlichungsdatum:: 2017
Type:: Journal article

7. PIE: A Domain-Specific Language for Interactive Software Development Pipelines

Autoren:: Konat, Gabriël; Steindorfer, Michael J; Erdweg, Sebastian; Visser, Eelco
Veröffentlichungsdatum:: 2018
Type:: Journal article

8. Compositional soundness proofs of abstract interpreters

Autoren:: Keidel, Sven; Poulsen, Casper Bach; Erdweg, Sebastian
Veröffentlichungsdatum:: 2018
Type:: Journal article

9. Incrementalizing lattice-based program analyses in Datalog

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

10. Sound and reusable components for abstract interpretation

Autoren:: Keidel, Sven; Erdweg, Sebastian
Veröffentlichungsdatum:: 2019
Type:: Journal article