Type-safe method inlining

DOI10.1016/J.SCICO.2004.03.009zbMATH Open1091.68016OpenAlexW2083646902MaRDI QIDQ1887679FDOQ1887679

Authors: Neal Glew, Jens Palsberg 

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.03.009

Recommendations

• scientific article; zbMATH DE number 2089398
• Security monitor inlining and certification for multithreaded Java
• scientific article; zbMATH DE number 1617324
• Matching MyType to subtyping
• TFA: an efficient and precise virtual method call resolution for Java

zbMATH Keywords

TypesObjectsInlining

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (4)

• TFA: an efficient and precise virtual method call resolution for Java
• Title not available (Why is that?)
• FUNCTIONAL PEARL Type-safe cast
• Languages and Compilers for Parallel Computing

This page was built for publication: Type-safe method inlining

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