Data groups
- 1 October 1998
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 33 (10) , 144-153
- https://doi.org/10.1145/286936.286953
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- An Overview of Larch/C++: Behavioral Specifications for C++ ModulesPublished by Springer Nature ,2007
- Data groupsPublished by Association for Computing Machinery (ACM) ,1998
- An extended static checker for modula-3Published by Springer Nature ,1998
- Logical Foundations for Typed Object-Oriented LanguagesPublished by Springer Nature ,1998
- AspectACM Transactions on Software Engineering and Methodology, 1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Typing the specialization interfaceACM SIGPLAN Notices, 1993
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- Upgrading the pre- and postcondition techniquePublished by Springer Nature ,1991
- Proof of correctness of data representationsActa Informatica, 1972