Foundations for virtual types

DOI10.1006/INCO.2001.2942MaRDI QIDQ1854531zbMATH OpenOpenAlexFDO

Authors Atsushi Igarashi, Benjamin C. Pierce

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.2001.2942

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65)

Recommendations

• A virtual class calculus
• scientific article; zbMATH DE number 2089395
• Simple type-theoretic foundations for object-oriented programming
• scientific article; zbMATH DE number 17707
• scientific article; zbMATH DE number 742721

Cites work

• A semantic basis for Quest
• An extension of system \(F\) with subtyping
• Bounded quantification is undecidable
• Comparing object encodings.
• scientific article; zbMATH DE number 1330432 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• Simple type-theoretic foundations for object-oriented programming

Cited in

(5)

• scientific article; zbMATH DE number 2089395 (Why is no real title available?)
• scientific article; zbMATH DE number 1330432 (Why is no real title available?)
• scientific article; zbMATH DE number 2090140 (Why is no real title available?)
• Metamodeling semantics of multiple inheritance
• A virtual class calculus

Describes a project that uses

Uses Software

• BETA
• PolyTOIL

This page was built for publication: Foundations for virtual types

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