A design for type-directed programming in Java

zbMATH Open1272.68094MaRDI QIDQ2848699FDOQ2848699

Liang Huang, Stephanie Weirich

Publication date: 26 September 2013

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

Recommendations

• Type-directed specialization of polymorphism.
• A type system for reflective program generators
• Type dispatch for named hierarchical types
• scientific article; zbMATH DE number 2040567
• Effective and efficient compilation of run-time generics in Java

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (3)

• Title not available (Why is that?)
• Representing Java classes in a typed intermediate language
• Title not available (Why is that?)

Uses Software

• Polyp

This page was built for publication: A design for type-directed programming in Java

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