Publications

Last modified on March 30th, 2012

Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. David J. Pearce and James Noble. In Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE), 2011. [ PDF ]

Technical Reports

A Constraint-Based Calculus for Flow Typing. David J. Pearce, Victoria University of Wellington, Technical Report #ECSTR12-10, 2012. [ Postscript / PDF ]
Flow-Sensitive Types for Whiley. David J. Pearce and James Noble, Victoria University of Wellington, Technical Report #ECSTR10-23, 2011. [ Postscript / PDF ]