Loading...
Please wait, while we are loading the content...
Similar Documents
Inspector methods for state abstraction: soundness proof
| Content Provider | Semantic Scholar |
|---|---|
| Author | Jacobs, Bart Piessens, Frank |
| Copyright Year | 2007 |
| Abstract | This note formalizes and proves the soundness of an approach for modular static verification of safety properties of object-oriented programs where module specifications refer to module state abstractly, using inspector methods, to eliminate dependencies of clients on a module?s internal implementation details. Inspector Methods for State Abstraction: Soundness Proof Bart Jacobs and Frank Piessens Department of Computer Science Katholieke Universiteit Leuven, Belgium {bart.jacobs,frank.piessens}@cs.kuleuven.be |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW493.pdf |
| Alternate Webpage(s) | http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW493.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |