The C++ programming language
Abstraction and specification in program development
Abstraction and specification in program development
Distrbution and Abstract Types in Emerald
IEEE Transactions on Software Engineering - Special issue on distributed systems
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
An overview of LP, the larch power
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Development and implementation of an object-oriented DBMS
Readings in object-oriented database systems
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
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
Systems programming with Modula-3
Systems programming with Modula-3
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theory and Practice of Object Systems - Special issue: type systems
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Object-Oriented Software Construction
Object-Oriented Software Construction
Inheritance in Object-Oriented Z
ECOOP '91 Proceedings of the 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
Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Family Values: A Semantic Notion of Subtyping
Family Values: A Semantic Notion of Subtyping
Design patterns in separation logic
Proceedings of the 4th international workshop on Types in language design and implementation
Verifying event-driven programs using ramified frame properties
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
Checking conformance of a producer and a consumer
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Automatic inference of model fields and their representation
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Program compatibility approaches
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Hi-index | 0.00 |