✦ LIBER ✦

Coalgebraic Reasoning about Classes in Object-Oriented Languages

✍ Scribed by Bart Jacobs

Book ID: 108498154
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 610 KB
Volume: 11
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00061-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] ECOO

[Lecture Notes in Computer Science] ECOOP ’92 European Conference on Object-Oriented Programming Volume 615 || Reasoning and refinement in object-oriented specification languages

✍ Madsen, Ole Lehrmann 📂 Article 📅 1992 🏛 Springer-Verlag 🌐 German ⚖ 1001 KB

This Volume Constitutes The Proceedings Of The Sixth European Conference On Object-oriented Programming (ecoop), Held In Utrecht, The Netherlands, June 29 - July 3, 1992. Since The French Initiative To Organize The First Conference In Paris, Ecoop Has Been A Very Successful Forum For Discussing The

Using versioned object-oriented data in

Using versioned object-oriented data in programming languages

✍ Jarogniew Rykowski; Waldemar Wieczerzycki 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 351 KB

CSL: A class specification language for

CSL: A class specification language for object-oriented design

✍ G. Bucci; R. Cecchini; A. Del Bimbo 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 375 KB

Multiple vs. single inheritance in objec

Multiple vs. single inheritance in object-oriented programming languages

✍ Harry Bretthauer; Thomas Christaller; Jürgen Kopp 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 219 KB

Some Challenging Typing Issues in Object

Some Challenging Typing Issues in Object-Oriented Languages: Extended Abstract

✍ Kim B. Bruce 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 1004 KB

Special issue on synchronization and con

Special issue on synchronization and concurrency in object-oriented languages

✍ Tim Harris; Doug Lea 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 104 KB