scientific article; zbMATH DE number 1746457
From MaRDI portal
Publication:4532091
zbMATH Open0985.68506MaRDI QIDQ4532091FDOQ4532091
Authors: Sophia Drossopoulou 
Publication date: 28 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2071/20710053
Title of this publication is not available (Why is that?)
Recommendations
- A flexible model for dynamic linking in Java and C\#
- Formalization and analysis of class loading in Java
- Theorem Proving in Higher Order Logics
- JAVA class loading techniques in the Harness metacomputing framework
- scientific article; zbMATH DE number 2102730
- The Java memory model
- Agents and Peer-to-Peer Computing
Cited In (9)
- A deterministic algorithm for identifying direct superclasses in Java
- Formalization and analysis of class loading in Java
- Title not available (Why is that?)
- JAVA class loading techniques in the Harness metacomputing framework
- Title not available (Why is that?)
- A flexible model for dynamic linking in Java and C\#
- Theorem Proving in Higher Order Logics
- Safe structural conformance for Java
- Improving the official specification of Java bytecode verification
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532091)
