I am interested in denotational semantics of object oriented languages. Namely, what are the common/typical denotations of objects used in the literature? Is this an interesting topic these days?

The most comprehensive article I've found dates back to 1993. That made me think that I might be missing something. Am I?

  • $\begingroup$ Depends on what you mean by denotational semantics. If you are interested in classical order-theoretic denotational semantics, then there is probably not all that much, as it has proven difficult to do this convincingly for OO-languages. These days OO is considered mostly operationally or axiomatically. $\endgroup$ May 9, 2016 at 19:54
  • $\begingroup$ @MartinBerger Yes, I am interested in mapping objects back to some semantic domain. $\endgroup$ May 9, 2016 at 19:57
  • $\begingroup$ What's a semantic domain? Do you accept logical formulae as a semantic domain? $\endgroup$ May 9, 2016 at 20:03
  • $\begingroup$ A (semantic) domain is just a complete partial order with a least element. $\endgroup$ May 9, 2016 at 20:18
  • 1
    $\begingroup$ I doubt that you will find much then. It might be possible to turn logical formulae (ordered by implication) associated with axiomatic semantics into a suitable semantic domain. I have not seen it spelled out though. $\endgroup$ May 9, 2016 at 20:42


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.