Detecting and preventing type flaws at static time

Chiara Bodei, Linda Brodo, Pierpaolo Degano, Han Gao. Detecting and preventing type flaws at static time. Journal of Computer Security, 18(2):229-264, 2010. [doi]

Abstract

Abstract is missing.