How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handbook of theoretical computer science (vol. B)
Object-oriented specification case studies
Object-oriented specification case studies
Evolving algebras 1993: Lipari guide
Specification and validation methods
STL tutorial and reference guide, second edition: C++ programming with the standard template library
STL tutorial and reference guide, second edition: C++ programming with the standard template library
A Theory of Objects
An Algebraic Semantics for the Object Specification Language TROLL light
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Dynamical Behavior of Object Systems
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
| Hi-index | 0.01 |
An approach to the specification of STL components in terms of mutable objects is proposed in the paper. The approach is based on considering an object update as a transition from one algebra of a given signature to another of the same signature. Each object (iterator, container) belongs to a definite object type and possesses a state and a unique identifier represented by a typed address. Iterators are divided in different iterator categories. Containers are collections of iterators of the corresponding category. Transition rules of an Abstract State Machine are used as a means of container specification.