Parasitic methods: an implementation of multi-methods for Java
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The ODMG object model: does it make sense?
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An Operational Approach to the Semantics of Classes: Application to Type Checking
Programming and Computing Software
Type-safe convariant specialization with generalized matching
Information and Computation - FOOL VII
Describing the Semantics of Java and Proving Type Soundness
Formal Syntax and Semantics of Java
Viewpoints Handling in an Object Model with Criterium-Based Classes
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
"Real World" as an Argument for Covariant Specialization in Programming and Modeling
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
Implementing statically typed object-oriented programming languages
ACM Computing Surveys (CSUR)
Computer Languages, Systems and Structures
Hi-index | 0.00 |