Decoupling the Ascending and Descending Phases in Abstract Interpretation

von Arceri, Vincenzo
Veröffentlicht in APLAS (20. : 2022 : Auckland) Programming languages and systems (2022)

Synthesis of P-Stable Abstractions

von Becchi, Anna
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)