The SCEAS System
Navigation Menu

Journals in DBLP

Journal of Object Technology
2005, volume: 4, number: 8

  1. Werner Dietl, Peter Müller
    Universes: Lightweight Ownership for JML. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:8, pp:5-32 [Journal]
  2. Neal Glew, Jens Palsberg
    Method Inlining, Dynamic Class Loading, and Type Soundness. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:8, pp:33-53 [Journal]
  3. Alessandro Coglio
    Checking Access to Protected Members in the Java Virtual Machine. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:8, pp:55-76 [Journal]
  4. David R. Cok
    Reasoning with specifications containing method calls and model fields. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:8, pp:77-103 [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