|
Journals in DBLP
- Davide Ancona, Giovanni Lagorio
Stronger Typings for Separate Compilation of Java-like Languages . [Citation Graph (0, 0)][DBLP] Journal of Object Technology, 2004, v:3, n:6, pp:5-25 [Journal]
- Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
Verification of Object-Oriented Programs with Invariants. [Citation Graph (0, 0)][DBLP] Journal of Object Technology, 2004, v:3, n:6, pp:27-56 [Journal]
- Patrice Chalin
JML Support for Primitive Arbitrary Precision Numeric Types: Definition and Semantics. [Citation Graph (0, 0)][DBLP] Journal of Object Technology, 2004, v:3, n:6, pp:57-79 [Journal]
- Stephen N. Freund, Shaz Qadeer
Checking Concise Specifications for Multithreaded Software. [Citation Graph (0, 0)][DBLP] Journal of Object Technology, 2004, v:3, n:6, pp:81-101 [Journal]
- Christoph von Praun, Thomas R. Gross
Static Detection of Atomicity Violations in Object-Oriented Programs. [Citation Graph (0, 0)][DBLP] Journal of Object Technology, 2004, v:3, n:6, pp:103-122 [Journal]
|