Autor: Keidel, Sven / Datenquelle: DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Keidel, Sven 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 Abstract Interpretation of Program Transformations.

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

3. Compositional soundness proofs of abstract interpreters

Autoren:: Keidel, Sven; Poulsen, Casper Bach; Erdweg, Sebastian
Veröffentlichungsdatum:: 2018
Typ:: Zeitschriftenaufsatz

4. Toward abstract interpretation of program transformations.

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

5. Sound and reusable components for abstract interpretation

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

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