Searching for "Java access protection through typing." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Java Access Protection through Typing
by Eva Rose, Kristoffer Hgsbro Rose — 2000 — Concurrency and Computation: Practice and Experience
…Java Access Protection through Typing ? Eva Rose 1 and Kristoffer Hgsbro Rose 2 1 INRIA…
Cited by 3 (0 self) – Add To MetaCart

Contents 1 From Executable Formal Specification to Java Property Verification...............….
by Sophia Antipolis, Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, I. Attali, D. Caromel, H. Nilsson, M. Russo, P. Cenciarelli — 2000
………………………………………… M. Ó Cinnéide, P. Nixon 18 Java Access Protection through Typing………………………………………….. E. Rose, K…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB