Prévention du déréférencement de références nulles dans un langage à objets
暂无分享,去创建一个
[1] David Pichardie,et al. Semantic Foundations and Inference of Non-null Annotations , 2008, FMOODS.
[2] Patrice Chalin,et al. Non-null References by Default in Java: Alleviating the Nullity Annotation Burden , 2007, ECOOP.
[3] K. Rustan M. Leino,et al. Declaring and checking non-null types in an object-oriented language , 2003, OOPSLA.
[4] Songtao Xia,et al. Establishing object invariants with delayed types , 2007, OOPSLA.
[5] Jean Privat. De l'expressivité à l'efficacité : une approche modulaire des langages à objets : le langage PRM et le compilateur prmc , 2006 .
[6] David Grove,et al. Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis , 1995, ECOOP.
[7] David Hovemeyer,et al. Finding more null pointer bugs, but not too many , 2007, PASTE '07.
[8] Isil Dillig,et al. Static error detection using semantic inconsistency inference , 2007, PLDI '07.