Effective and efficient compilation of run-time generics in Java

zbMATH Open1272.68093MaRDI QIDQ2848698FDOQ2848698

Authors: Mirko Viroli 

Publication date: 26 September 2013

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• On the reification of Java wildcards
• Improving type error messages for generic Java
• Java generics are Turing complete
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formalization of generics for the .NET common language runtime
• A design for type-directed programming in Java
• A Type-Passing Approach for the Implementation of Parametric Methods in Java

Uses Software

• Visual C#
• Featherweight Java

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)