POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Expressing opposition in the object model, first step towards negation
ACM SIGPLAN Notices
A Programmer's Reduction Semantics for Classes and Mixins
Formal Syntax and Semantics of Java
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
An operational semantics and type safety prooffor multiple inheritance in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Incremental Reasoning for Multiple Inheritance
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Incremental reasoning with lazy behavioral subtyping for multiple inheritance
Science of Computer Programming
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Hi-index | 0.00 |