A domain-theoretic model of nominally-typed object-oriented programming

DOI10.1016/J.ENTCS.2014.01.002zbMath1337.68059OpenAlexW2038262513WikidataQ113317922 ScholiaQ113317922MaRDI QIDQ276420

Moez A. AbdelGawad

Publication date: 3 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.01.002

zbMATH Keywords

inheritanceJavadenotational semanticsobject-oriented programmingsubtypingC\#nominative type systemsNOOPOOPstructural type systemstype names

Mathematics Subject Classification ID

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

Related Items (2)

A domain-theoretic model of nominally-typed object-oriented programming ⋮ A topology on lattice-ordered groups

Uses Software

• Scala
• LCF
• Featherweight Java

Cites Work

• A domain-theoretic model of nominally-typed object-oriented programming
• A semantics of multiple inheritance
• Semantics and logic of object calculi
• Edinburgh LCF. A mechanized logic of computation
• Fighting Bit Rot with Types (Experience Report: Scala Collections)
• Data Types as Lattices
• Continuous Lattices and Domains
• Computer Science Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A domain-theoretic model of nominally-typed object-oriented programming