Analysing the Java package/access concepts in Isabelle/HOL (2002)
Cached
Download Links
- [www4.in.tum.de]
- [www.cs.ru.nl]
- [wwwbroy.informatik.tu-muenchen.de]
- [www4.in.tum.de]
- [www4.in.tum.de]
- [wwwbroy.informatik.tu-muenchen.de]
- DBLP
Other Repositories/Bibliography
by
Norbert Schirmer
| Venue: | Concurrency and Computation: Practice and Experience |
| Citations: | 6 - 1 self |
BibTeX
@INPROCEEDINGS{Schirmer02analysingthe,
author = {Norbert Schirmer},
title = {Analysing the Java package/access concepts in Isabelle/HOL},
booktitle = {Concurrency and Computation: Practice and Experience},
year = {2002},
pages = {689--706},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Java access modifiers and packages provide a mechanism to restrict the access to members and types as additional means of information hiding beyond the pure object oriented concept of classes. In this paper we clarify the semantics of access modifiers and packages by adding them to our formal model of Java in the theorem prover Isabelle/HOL. We analyse which properties we can rely on at runtime, provided that the static accessibility tests have been passed.
