Efficient inference of object types

DOI10.1006/INCO.1995.1168MaRDI QIDQ1908346zbMATH OpenOpenAlexFDO

Authors Jens Palsberg

Publication date 19 March 1996

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

Full work available at URL https://semanticscholar.org/paper/eefb9ba98c328827191efabbfe6403168fabe975

zbMATH Keywords

object-oriented languages

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 4080882
• scientific article; zbMATH DE number 1256673
• Efficient inference of partial types
• A delegation-based object calculus with subtyping
• scientific article; zbMATH DE number 4180773

Cited in

(17)

• LP structures on type lattices and some refactoring problems
• Efficient inference of partial types
• Efficient static checker for tainted variable attacks
• Simplifying subtyping constraints: a theory
• Type inference for variant object types
• Type inference for record concatenation and subtyping
• Erratum to ``Efficient inference of object types
• scientific article; zbMATH DE number 1717357 (Why is no real title available?)
• scientific article; zbMATH DE number 4180773 (Why is no real title available?)
• Objects in polynomial time
• scientific article; zbMATH DE number 4080882 (Why is no real title available?)
• Semantic types and approximation for Featherweight Java
• scientific article; zbMATH DE number 1231606 (Why is no real title available?)
• scientific article; zbMATH DE number 1256673 (Why is no real title available?)
• scientific article; zbMATH DE number 1089242 (Why is no real title available?)
• Type inference in stack based languages
• Type inference for record concatenation and multiple inheritance

This page was built for publication: Efficient inference of object types

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