𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of object-oriented programs: A transformational approach

✍ Scribed by Krzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog; Stijn de Gouw

Book ID
113698474
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
369 KB
Volume
78
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Towards a transformational approach to p
Towards a transformational approach to program verification
✍ Myla Archer; Amy Lo; Ronald A. Olsson 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 182 KB 👁 1 views

Although most typically used in other contexts, program transformations can simplify program verification by transforming a program containing complex language features into a semantically equivalent program containing only simpler language features. The proof of the transformed program can then be