scientific article; zbMATH DE number 1746457

MaRDI QIDQ4532091zbMATH OpenFDO

Authors Sophia Drossopoulou

Publication date 28 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2071/20710053

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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)

• Formalization and analysis of class loading in Java
• A deterministic algorithm for identifying direct superclasses in Java
• scientific article; zbMATH DE number 5189971 (Why is no real title available?)
• JAVA class loading techniques in the Harness metacomputing framework
• A flexible model for dynamic linking in Java and C\#
• scientific article; zbMATH DE number 2044503 (Why is no real title available?)
• 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)