A design for type-directed programming in Java

MaRDI QIDQ2848699zbMATH OpenFDO

Authors Stephanie Weirich, Liang Huang

Publication date 26 September 2013

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

Mathematics Subject Classification ID

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

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

Cited in

(3)

• Representing Java classes in a typed intermediate language
• scientific article; zbMATH DE number 2040567 (Why is no real title available?)
• scientific article; zbMATH DE number 2040586 (Why is no real title available?)

Describes a project that uses

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)