Autor: Erdweg, Sebastian and Szabo, Tamas / Datenquelle: Crossref and DBLP - Universitätsbibliographie Suchergebnisse

Neu anfangen Autor Erdweg, Sebastian Autor Szabo, Tamas Datenquelle Crossref Datenquelle DBLP

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

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