Combining subsumption and binary methods
- 1 January 2001
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (3) , 290-303
- https://doi.org/10.1145/360204.360233
Abstract
We presen t an object-oriented calculus whic hallows arbitrary hiding of methods in protot ypes, even in the presence of binary methods and friend functions. This combination of features permits complete control of the in terface a class exposes to the remainder of a program (which is of key importance for program readability, security and ease of maintenance), while still allowing complex in teractions with other classes belonging to the same module or softw are component.This result is made possible by the use of views. A view is a name that specifies an in terface to an object. A set of views is attached to each object and a method can be invoked either directly or via a view of the object.Keywords
This publication has 8 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Privacy via SubsumptionInformation and Computation, 2002
- The design of a class mechanism for MobyPublished by Association for Computing Machinery (ACM) ,1999
- A lambda calculus of objects with self-inflicted extensionPublished by Association for Computing Machinery (ACM) ,1998
- Classes and mixinsPublished by Association for Computing Machinery (ACM) ,1998
- Objective MLPublished by Association for Computing Machinery (ACM) ,1997
- A delegation-based object calculus with subtypingPublished by Springer Nature ,1995
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985