Using tuple space communication in distributed object-oriented languages
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Designing families of data types using exemplars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inheritance and synchronization with enabled-sets
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Virtual classes: a powerful mechanism in object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
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
Concurrency & object-oriented programming
ACM SIGPLAN Notices
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Typechecking and modules for multi-methods
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
An algebraic theory of class specification
ACM Transactions on Software Engineering and Methodology (TOSEM)
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Delegation versus concatenation or cloning is inheritance too
ACM SIGPLAN OOPS Messenger
Semantic-based visualization for parallel object-oriented programming
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ACM Computing Surveys (CSUR)
An evaluation of automatic object inline allocation techniques
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Object-oriented modelling of parallel hardware systems
Proceedings of the conference on Design, automation and test in Europe
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
Concurrent object-oriented programming and petri nets
A correct example of multiple inheritance
ACM SIGPLAN Notices
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Inheritance and Synchronization in Concurrent OOP
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
The when, why and why not of the BETA programming language
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A higher abstraction level using first-class inheritance relations
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
| Hi-index | 0.00 |