<p>Would you please point me to some papers or textbooks that describe rigorously a formal semantics/computational model of a simple object-oriented language? The language needs not accommodate inheritance, but objects must be potentially self-referential.</p>

CC BY-SA 4.0
2023-09-02T22:36:28.610Z
There's a semantics of Featherweight Java, which has, if I understand correctly, a form of inheritance (through casts) and self-reference would be what they call "recursion through this" or "recursion through self".
https://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf
Ilk
CC BY-SA 4.0
2023-09-03T06:57:09.060Z
Would KIm Bruce's [*Foundations of object-oriented languages: types and semantics*](https://ieeexplore.ieee.org/book/6267232) meet your requirements?
Martin Berger
CC BY-SA 4.0
2023-09-03T08:06:06.910Z
@Nift Yeah this is great. Thanks.
Evan Aad
CC BY-SA 4.0
2023-09-03T08:06:51.577Z
@MartinBerger Yes, thanks. Other folks who come by this thread: please feel free to continue to suggest titles. The more the better. Thanks.
Evan Aad
CC BY-SA 4.0
2023-09-03T10:59:25.610Z
If you don't insist on class-based object orientation, there is the *object-calculus* by Abadi/Cardelli, with numerous publications, see e.g. here: [http://lucacardelli.name/indexPast.html](http://lucacardelli.name/indexPast.html)
Martin Berger
<reference-request><semantics><object-oriented>
Formal semantics of a simple object oriented language without inheritance but with self-referential objects
Evan Aad
# Formal semantics of a simple object oriented language without inheritance but with self-referential objects

(Asked by: username_0 on 2023-09-02)

Would you please point me to some papers or textbooks that describe rigorously a formal semantics/computational model of a simple object-oriented language? The language needs not accommodate inheritance, but objects must be potentially self-referential.

**Tags:** reference-request, semantics, object-oriented
> **Comments:**
> **username_1**: There's a semantics of Featherweight Java, which has, if I understand correctly, a form of inheritance (through casts) and self-reference would be what they call "recursion through this" or "recursion through self". https://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf  
> **username_2**: Would KIm Bruce's [*Foundations of object-oriented languages: types and semantics*](https://ieeexplore.ieee.org/book/6267232) meet your requirements?  
> **username_0**: @Nift Yeah this is great. Thanks.  
> **username_0**: @MartinBerger Yes, thanks. Other folks who come by this thread: please feel free to continue to suggest titles. The more the better. Thanks.  
> **username_2**: If you don't insist on class-based object orientation, there is the *object-calculus* by Abadi/Cardelli, with numerous publications, see e.g. here: [http://lucacardelli.name/indexPast.html](http://lucacardelli.name/indexPast.html)  

---

## 0 answers

