论文信息 - Improving JML's assignable clause analysis - 字舞流文

Improving JML's assignable clause analysis

[1] Yoonsik Cheon,et al. A Runtime Assertion Checker for the Java Modeling Language (JML) , 2003, ICSE 2003.

[2] John Mylopoulos,et al. On the Frame Problem in Procedure Specifications , 1995, IEEE Trans. Software Eng..

[3] Albert L. Baker,et al. Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.

[4] K. Rustan M. Leino,et al. Data groups: specifying the modification of extended state , 1998, OOPSLA '98.

[5] Flemming Nielson,et al. Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[6] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[7] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.

[8] Gary T. Leavens,et al. MultiJava: modular open classes and symmetric multiple dispatch for Java , 2000, OOPSLA '00.

[9] Jürgen F. H. Winkler,et al. Proving assertions is also useful , 1997, SIGP.

[10] David S. Rosenblum. A Practical Approach to Programming With Assertions , 1995, IEEE Trans. Software Eng..

[11] Gary T. Leavens,et al. Design by Contract with JML , 2006 .