| Home > Publications > Reports > Informatics (CW) |
CW 341
J. Dockx
Accessibility and helper types
Abstract
We often encounter a need for formal specifications aimed toward users with more than public access. Here we embark on a search for a clear semantics for such specifications, by looking at the specifications of different accessibility levels as different types related through inheritance. This paper reports the first results of this approach.
report.pdf / mailto: J. Dockx