Sound and Complete Flow Typing with Unions, Intersections and Negations
Author(s). David J. Pearce.
Venue. In Proceedings of the Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), pages 335--354, 2013. ©Springer