A Type-Theoretic Basis for an Object-Oriented Refinement Calculus (1996)
(Thanks to citeseerx.ist.psu.edu)
Abstract:
This paper addresses the issue of giving a formal semantics to an object-oriented programming and specification language. Object-oriented constructs considered are objects with attributes and methods, encapsulation of attributes, subtyping, bounded type parameters, classes, and inheritance. Classes are distinguished from object types. Besides usual imperative statements, specification statements are included. Specification statements allow changes of variables to be described by a predicate. They are abstract in the sense that they are non-executable. Specification statements may appear in method bodies of classes, leading to abstract classes. The motivation for this approach is that abstract classes can be used for problem -oriented specification in early stages and later refined to efficient implementations. Various refinement calculi provide laws for procedural and data refinement, which can be used here for class refinement. This paper, however, focuses on the semantics of object-o...
Citations
| 723 | On understanding types, data abstraction, and polymorphism – Cardelli, Wegner - 1985 |
| 473 | A semantics of multiple inheritance – Cardelli - 1984 |
| 159 | Simple type-theoretic foundations for object-oriented programming – Pierce, Turner - 1994 |
| 134 | A theoretical basis for stepwise refinement and the programming calculus – Morris - 1987 |
| 118 | The specification statement – Morgan - 1988 |
| 100 | An extension of system F with subtyping – Cardelli, Martini, et al. - 1994 |
| 48 | Modular specification and verification of object-oriented programs – Leavens - 1991 |
| 30 | A behavioral approach to subtyping objectoriented programming languages – America - 1990 |
| 27 | Reasoning and Refinement in Object-Oriented Specification Languages – Lano, Haughton - 1992 |
| 22 | Predicate transformer semantics of an Oberon-like language – Naumann - 1994 |
| 19 | TOIL: A new type-safe object-oriented imperative language. Manuscript – Bruce, Gent - 1993 |
0 comments:
Post a Comment