Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Representation independence, confinement and access control [extended abstract]
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using data groups to specify and check side effects
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Data abstraction and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming methodology
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Journal of Functional Programming
A specification-based approach to reasoning about pointers
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Performance analysis based upon complete profiles
Proceedings of the 2006 conference on Specification and verification of component-based systems
Simplifying reasoning about objects with Tako
Proceedings of the 2006 conference on Specification and verification of component-based systems
Separation and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
A core theory of interfaces and architecture and its impact on object orientation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Object ownership in program verification
Aliasing in Object-Oriented Programming
Hi-index | 0.00 |