scientific article; zbMATH DE number 6007795

zbMATH Open1249.68021MaRDI QIDQ3115136FDOQ3115136

Saša D. Lazarević, Marko Petrović

Publication date: 20 February 2012

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

common type systemmethod overriding

Mathematics Subject Classification ID

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

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)