Mechanisms for improved covariant type-checking

DOI10.1016/j.cl.2006.03.001zbMath1125.68074OpenAlexW2069934368MaRDI QIDQ2381977

Krishnaprasad Thirunarayan, Michelle Cheatham, Kevin Cleereman

Publication date: 26 September 2007

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2006.03.001

zbMATH Keywords

covarianceobject-oriented programming languagesType checking

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Eiffel

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Mechanisms for improved covariant type-checking