Opening book details…
Can I read Separation Logic, Abstraction and Inheritance on EtoBox?
Separation Logic, Abstraction and Inheritance by Matthew J. Parkinson; Gavin M. Bierman is a Computer Science article available to read on EtoBox.
What is Separation Logic, Abstraction and Inheritance about?
Inheritance is a fundamental concept in object-oriented programming, allowing new classes to be defined in terms of old classes. When used with care, inheritance is an essential tool for object-oriented programmers. Thus, for those interested in developing formal verification techniques, the treatment of inheritance is of paramount importance. Unfortunately, inheritance comes in a number of guises, all requiring subtle techniques. To address these subtleties, most existing verification methodologies typically adopt one of two restrictions to handle inheritance: either (1) they prevent a derived class from restricting the behaviour of its base class (typically by syntactic means) to trivialize the proof obligations; or (2) they allow a derived class to restrict the behaviour of its base class, but require that every inherited method must be reverified. Unfortunately, this means that typical inheritance-rich code either cannot be verified or results in an unreasonable number of proof obligations. In this paper, we develop a separation logic for a core object-oriented language. It allows derived classes which override the behaviour of their base class, yet supports the inheritance of
Who reads Separation Logic, Abstraction and Inheritance?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Matthew J. Parkinson; Gavin M. Bierman
- Publisher
- ACM
- Published
- 2008
- Language
- EN
- Field
- Computer Science (Physical Sciences)