Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A simple approach to specifying concurrent systems
Communications of the ACM
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Eiffel: the language
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Typed Homomorphic Relations Extended with Sybtypes
Proceedings of the 7th International Conference on Mathematical Foundations of Programming Semantics
Inheritance and Subtyping in a Parallel Object-Oriented Language
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Object-Z: An Object-Oriented Extension to Z
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Preliminary Design of Larch/C++
Proceedings of the first First International Workshop on Larch
Towards a Semantics for Object-Z
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Object Oriented Modelling in Z for Open Distributed Systems
Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
Lightweight formal methods for computer algebra systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
The Impact of Using Class Inheritance in a Distributed Information System
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
A Theory of Synchronous Relational Interfaces
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |
Four alternatives for the semantics of inheritance of specifications are discussed. The information loss and frame axiom problems for inherited specifications are also considered.