Publication type: Conference / Author: Erdweg, Sebastian / Organizational unit: FB 08 Physik, Mathematik und Informatik / Data source: Web of Science (Lite) - Universitätsbibliographie Search Results

Start Over Publication type Conference Author Erdweg, Sebastian Organizational unit FB 08 Physik, Mathematik und Informatik Data source Web of Science (Lite)

1. Concise, Type-Safe, and Efficient Structural Diffing

Autoren:: Erdweg, Sebastian; Szabo, Tamas; Pacak, Andre
Editoren:: Freund, Stephen N; Yahav, Eran
Veröffentlichungsdatum:: 2021
Type:: Conference

2. Incremental Whole-Program Analysis in Datalog with Lattices

Autoren:: Szabo, Tamas; Erdweg, Sebastian; Bergmann, Gabor
Editoren:: Freund, Stephen N; Yahav, Eran
Veröffentlichungsdatum:: 2021
Type:: Conference