Travelled to:1 × Germany
1 × USA
Collaborated with:P.Chalin
Talks about:support (1) nulliti (1) multipl (1) default (1) benefit (1) static (1) prover (1) extend (1) burden (1) allevi (1)
Person: Perry R. James
DBLP: James:Perry_R=
Contributed to:
2009
2007Wrote 2 papers:
- SAC-2009-JamesC #ml #multi #static analysis
- Extended static checking in JML4: benefits of multiple-prover support (PRJ, PC), pp. 609–614.
- ECOOP-2007-ChalinJ #java
- Non-null References by Default in Java: Alleviating the Nullity Annotation Burden (PC, PRJ), pp. 227–247.