The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Object Technology
2004, volume: 3, number: 6

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002