论文信息 - Formal Techniques for Java-Like Programs - 字舞流文

Formal Techniques for Java-Like Programs

Gary T. Leavens | Erik Poll | Peter Müller | Arnd Poetzsch-Heffter | Susan Eisenbach | E. Poll | S. Eisenbach | G. Leavens | A. Poetzsch-Heffter | D. Clarke | Peter Müller | F. Logozzo | J. Boyland

[1] Peter Müller,et al. Formal Techniques for Java-Like Programs (FTfJP) , 2004, ECOOP Workshops.

[2] Gerhard Goos,et al. Object-Oriented Technology , 2000, Lecture Notes in Computer Science.

[3] Sophia Drossopoulou,et al. Formal Techniques for Java Programs , 2001, ECOOP Workshops.

[4] Susan Eisenbach,et al. Formal underpinnings of Java , 1998, OOPSLA Addendum.

[5] Luca Cardelli,et al. Program fragments, linking, and modularization , 1997, POPL '97.