Opening book details…
Can I read Class Invariants as Abstract Interpretation of Trace Semantics on EtoBox?
Class Invariants as Abstract Interpretation of Trace Semantics by Francesco Logozzo is a Computer Science article available to read on EtoBox.
What is Class Invariants as Abstract Interpretation of Trace Semantics about?
We present a generic framework for the automatic and modular inference of sound class invariants for class-based object-oriented languages. We define a trace-based semantics for classes which considers all possible orderings, with all possible arguments, of invocations of all the methods of a class. We prove a correspondence theorem between such a semantics and a generic, trace-based, semantics for complete object-oriented programs. We express state-based class invariants in a fixpoint form by considering an abstraction of the class semantics, and we show how class invariants can be automatically inferred exploiting a static analysis of the methods. Furthermore, we address the problem of inferring a subclass invariant without accessing to the parent code, but just to its invariant.
Who reads Class Invariants as Abstract Interpretation of Trace Semantics?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Francesco Logozzo
- Publisher
- Elsevier Science; Elsevier ; Elsevier Ltd.; Elsevier BV (ISSN 1477-8424)
- Published
- 2009
- Language
- EN
- Field
- Computer Science (Physical Sciences)