A Flow-Insensitive-Complete Program Representation

von Mirliaz, Soléne
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs

von Barthe, Gilles
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)