✦ LIBER ✦

ERC – An object-oriented refinement calculus for Eiffel

✍ Scribed by Richard F. Paige; Jonathan S. Ostroff

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Heap-abstraction for an object-oriented

✍ Erika Ábrahám; Andreas Grüner; Martin Steffen 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 691 KB

Functional refinement and nested objects

✍ Jalote, P. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 741 KB

Object Calculus and the Object-Oriented

✍ Matt Duckham 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 546 KB

A weakest precondition semantics for ref

✍ Cavalcanti, A.; Naumann, D.A. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 298 KB

An object oriented model for concurrent

✍ Zhang Qian; Chen Shihong 📂 Article 📅 1998 🏛 Wuhan University 🌐 English ⚖ 446 KB

An object-oriented framework for model m

✍ Jian Ma 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 454 KB