Author: Keidel, Sven / Organizational unit: FB 08 Physik, Mathematik und Informatik and Praktische Informatik / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Author Keidel, Sven Organizational unit FB 08 Physik, Mathematik und Informatik Organizational unit Praktische Informatik 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 Abstract Interpretation of Program Transformations.

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

3. Sound and reusable components for abstract interpretation

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

4. The IDE portability problem and its solution in Monto.

Autoren:: Keidel, Sven; Pfeiffer, Wulf; Erdweg, Sebastian
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Type:: Conference

5. Compositional soundness proofs of abstract interpreters

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

6. Toward abstract interpretation of program transformations.

Autoren:: Keidel, Sven; Erdweg, Sebastian
Editoren:: Chiba, Shigeru; Boix, Elisa Gonzalez; Marr, Stefan
Veröffentlichungsdatum:: 2017
Type:: Conference