Skip to main content

A Type System Equivalent to Flow Analysis

Jens Palsberg, Patrick O'Keefe

PDF DOI 10.1145/199448.199533 dblp BibTeX

Abstract

Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accepts exactly the same programs as safety analysis.

Related papers

A Type System Equivalent to Flow Analysis TOPLAS 1995
Equality-based flow analysis versus recursive types TOPLAS 1998
From Polyvariant flow information to intersection and union types JFP 2001
Points-to Analysis in Almost Linear Time POPL 1996
FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability OOPSLA 2020
On flow-sensitive security types POPL 2006
Disjunctive Program Analysis for Algebraic Data Types TOPLAS 1997
Closure Analysis in Constraint Form TOPLAS 1995