Type-safe method inlining

DOI10.1016/J.SCICO.2004.03.009MaRDI QIDQ1887679zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

TypesObjectsInlining

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

Cited in

(4)

• TFA: an efficient and precise virtual method call resolution for Java
• scientific article; zbMATH DE number 2089398 (Why is no real title available?)
• 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)