The equivalence of two semantic definitions for inheritance in object-oriented languages

DOI10.1007/3-540-55511-0_5zbMath1518.68033OpenAlexW1525844406MaRDI QIDQ6116566

Kim B. Bruce

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55511-0_5

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Cites Work

• The semantics of second-order lambda calculus
• A modest model of records, inheritance, and bounded quantification
• Recursion over realizability structures
• Operations on records
• Unnamed Item