Organisationseinheit: Programming Languages / Datenquelle: DBLP and Web of Science (Lite) - Universitätsbibliographie Suchergebnisse

Neu anfangen Organisationseinheit Programming Languages Datenquelle DBLP Datenquelle Web of Science (Lite)

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

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

2. 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

3. 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