Declaring and checking non-null types in an object-oriented language
暂无分享,去创建一个
[1] James Cheney,et al. Cyclone: A Safe Dialect of C , 2002, USENIX Annual Technical Conference, General Track.
[2] David Walker,et al. Alias Types , 2000, ESOP.
[3] Raymie Stata,et al. Checking object invariants , 1997 .
[4] Matthias Felleisen,et al. Catching bugs in the web of program invariants , 1996, PLDI '96.
[5] Guy L. Steele,et al. Java(TM) Language Specification , 2005 .
[6] Greg Nelson,et al. Extended static checking for Java , 2002, PLDI '02.
[7] George C. Necula,et al. CCured: type-safe retrofitting of legacy code , 2002, POPL '02.
[8] Erik Ruf,et al. Marmot: an optimizing compiler for Java , 2000, Softw. Pract. Exp..
[9] Robert DeLine,et al. Enforcing high-level protocols in low-level software , 2001, PLDI '01.
[10] Robin Milner,et al. Definition of standard ML , 1990 .
[11] Yang Meng Tan,et al. LCLint: a tool for using specifications to check code , 1994, SIGSOFT '94.
[12] K. Rustan M. Leino. Applications of Extended Static Checking , 2001, SAS.
[13] Barbara Liskov,et al. Abstraction and Specification in Program Development , 1986 .
[14] V. Stavridou,et al. Abstraction and specification in program development , 1988 .
[15] MorrisettGreg,et al. From system F to typed assembly language , 1999 .
[16] John H. Reppy,et al. The design of a class mechanism for Moby , 1999, PLDI '99.