Abstract | ||
---|---|---|
This extended abstract outlines a system for the modular verification of an object-oriented programming language. While simplified, the language has object and array references, single-inheritance subclassing, and single-dispatch methods. Programs are verified against specifications consisting of pre- and post conditions for methods, and object invariants stating the consistency of data. Themeaning of a program is given by its translation into verification conditions: logical formulas... |
Year | Venue | Keywords |
---|---|---|
2004 | Journal of Object Technology | state space,object oriented programming,object oriented programming languages |
Field | DocType | Volume |
Portable object,Programming language,Object-oriented programming,Method,Computer science,Correctness,Object model,Theoretical computer science,Object (computer science),Object Definition Language,Has-a | Journal | 3 |
Issue | Citations | PageRank |
6 | 149 | 7.62 |
References | Authors | |
27 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Barnett | 1 | 401 | 42.24 |
Robert DeLine | 2 | 2957 | 210.35 |
Manuel Fähndrich | 3 | 1559 | 116.28 |
Rustan, K. | 4 | 3995 | 301.64 |
Wolfram Schulte | 5 | 2342 | 153.40 |