1. Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters Autoren: Keidel, Sven; Erdweg, Sebastian; Hombuecher, Tobias Veröffentlichungsdatum: 2023 Typ: Zeitschriftenaufsatz
2. Interactive Debugging of Datalog Programs Autoren: Pacak, André; Erdweg, Sebastian Veröffentlichungsdatum: 2023 Typ: Zeitschriftenaufsatz