Decoupling the ascending and descending phases in abstract interpretation. (English) Zbl 1524.68072
Sergey, Ilya (ed.), Programming languages and systems. 20th Asian symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13658, 25-44 (2022).