19/05/2026
11 h : Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Eric Koskinen (Stevens Institute of Technology)
In recent years temporal verification has been increasingly applied to higher-order programs. Some researchers have developed automated approaches via higher-order recursion schemes, reductions to fair-termination or constrained Horn clauses, while others have extended type and e …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
Eric Koskinen (Stevens Institute of Technology)
In recent years temporal verification has been increasingly applied to higher-order programs. Some researchers have developed automated approaches via higher-order recursion schemes, reductions to fair-termination or constrained Horn clauses, while others have extended type and e …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris
