Authors: Flanagan, C Freund, SN

Citation: C. Flanagan et Sn. Freund, Detecting race conditions in large programs, ACM SIGPL N, 2001, pp. 90-96

Authors: Flanagan, C Freund, SN

Citation: C. Flanagan et Sn. Freund, Type-based race detection for Java, ACM SIGPL N, 35(5), 2000, pp. 219-232

Authors: Freund, SN Mitchell, JC

Citation: Sn. Freund et Jc. Mitchell, A formal framework for the Java bytecode language and verifier, ACM SIGPL N, 34(10), 1999, pp. 147-166

Authors: Freund, SN Mitchell, JC

Citation: Sn. Freund et Jc. Mitchell, A type system for object initialization in the Java bytecode language, ACM T PROGR, 21(6), 1999, pp. 1196-1250