scientific article; zbMATH DE number 6007795

MaRDI QIDQ3115136zbMATH OpenFDO

Authors Saša D. Lazarević, Marko Petrović

Publication date 20 February 2012

zbMATH Keywords

common type systemmethod overriding

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Equality testing for complex objects based on hashing
• The equivalence of two semantic definitions for inheritance in object-oriented languages
• Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
• Independence of tabulation-based hash classes
• scientific article; zbMATH DE number 549084
• Inheritance hierarchies: Semantics and unifications
• scientific article; zbMATH DE number 1304368
• Refactoring equiaffinities
• Typed equivalence, type assignment, and type containment

This page was built for publication:

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