Effective and efficient compilation of run-time generics in Java

MaRDI QIDQ2848698zbMATH OpenFDO

Authors Mirko Viroli

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105051376

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 2100551
• On the reification of Java wildcards
• Formalization of generics for the .NET common language runtime
• Programming Languages and Systems
• Improving type error messages for generic Java

Cited in

(8)

• A Type-Passing Approach for the Implementation of Parametric Methods in Java
• On the reification of Java wildcards
• Improving type error messages for generic Java
• Java generics are Turing complete
• scientific article; zbMATH DE number 2087575 (Why is no real title available?)
• scientific article; zbMATH DE number 2100551 (Why is no real title available?)
• Formalization of generics for the .NET common language runtime
• A design for type-directed programming in Java

Describes a project that uses

Uses Software

• Featherweight Java
• Visual C#

This page was built for publication: Effective and efficient compilation of run-time generics in Java

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