String Abstract Domains and Their Combination

von Søndergaard, Harald
Veröffentlicht in LOPSTR (31. : 2021 : Online; Tallinn) Logic-based program synthesis and transformation (2022)

Lightweight Nontermination Inference with CHCs

von Kafle, Bishoksan
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

Disjunctive Interval Analysis

von Gange, Graeme
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Logic-based program synthesis and transformation : 34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings

Veröffentlicht 2024