Safe structural conformance for Java

DOI10.1093/COMJNL/43.6.469MaRDI QIDQ2721826zbMATH OpenOpenAlexFDO

Authors Konstantin Läufer, Gerald Baumgartner, Vincent F. Russo

Publication date 10 July 2001

Published in The Computer Journal. Section A Section B (Search for Journal in Brave)

Full work available at URL https://docs.lib.purdue.edu/cstech/1331, http://docs.lib.purdue.edu/cstech/1331

zbMATH Keywords

Java

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Using abstract interpretation to add type checking for interfaces in Java bytecode verification
• scientific article; zbMATH DE number 986407
• True modules for Java-like languages
• scientific article; zbMATH DE number 1746457
• scientific article; zbMATH DE number 986404

Cited in

(1)

• Programming with C++ concepts

This page was built for publication: Safe structural conformance for Java

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2721826)