Abstract Interpretation of Temporal Safety Effects of Higher Order Programs

Mihai Nicola, Chaitanya Agarwal, Eric Koskinen +1

This paper describes a new abstract interpretation-based approach to verify temporal safety properties of recursive, higher-order programs. While prior works have provided theoreti…