Efficient inference of object types

DOI10.1006/INCO.1995.1168zbMATH Open0849.68018OpenAlexW4213039069MaRDI QIDQ1908346FDOQ1908346

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)

Cited In (9)

• Type inference for variant object types
• Type inference in stack based languages
• Efficient inference of partial types
• Type inference for record concatenation and subtyping
• Erratum to ``Efficient inference of object types
• Simplifying subtyping constraints: a theory
• Efficient static checker for tainted variable attacks
• Title not available (Why is that?)
• Semantic types and approximation for Featherweight Java

Recommendations

• A delegation-based object calculus with subtyping 👍 👎
• Efficient inference of partial types 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)