کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
419184 | 683724 | 2009 | 43 صفحه PDF | دانلود رایگان |
![عکس صفحه اول مقاله: Class invariants as abstract interpretation of trace semantics Class invariants as abstract interpretation of trace semantics](/preview/png/419184.png)
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.
Journal: Computer Languages, Systems & Structures - Volume 35, Issue 2, July 2009, Pages 100–142