The implementation of abstract objects in a capability based addressing architecture

The problem of implementing abstract objects in a system having a capability based addressing is analyzed in some detail. Hardware features needed to support a classical capability environment are first pointed out, and a simple implementation of abstract objects is presented. Then a generalization of the classical capability environment is given, which allows one to solve the stated problem in a more efficient way.