Modular control-flow analysis with rank 2 intersection types
From MaRDI portal
Publication:4405689
DOI10.1017/S0960129502003845zbMath1031.68044OpenAlexW2106553898MaRDI QIDQ4405689
No author found.
Publication date: 23 June 2003
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129502003845
Related Items
Semantic types and approximation for Featherweight Java, Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming, Verifying pointer and string analyses with region type systems