MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Is the Java Type System Sound?" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Is the Java Type System Sound?  
  • by Sophia Drossopoulou, Susan Eisenbach — 1997 — In Proceedings of the Fourth International Workshop on Foundations of Object-Oriented Languages
  • …Is the Java Type System Sound? Sophia Drossopoulou and Susan Eisenbach Department of Computing…
  • Cited by 19 (3 self) – Add To MetaCart
  • Drawing the Red Line in Java  
  • by Godmar Back, Wilson Hsieh — 1999 — In Seventh IEEE Workshop on Hot Topics in Operating Systems, Rio Rico, AZ
  • … not require the user/kernel distinction because Java is type-safe. We assume that Java's type system is sound…
  • Cited by 41 (6 self) – Add To MetaCart
  • Java Security: From HotJava to Netscape and Beyond  
  • by Drew Dean Edward, Edward W. Felten, Dan S. Wallach — 1996 — In Proceedings of the 1996 IEEE Symposium on Security and Privacy
  • … or not to grant access. Java uses its type system to provide protection for the security manager. If Java’s type…
  • Add To MetaCart
  • Java Security: Web Browsers and Beyond  
  • by Drew Dean, Edward Felten, Dan Wallach, Dirk Balfanz — 1998 — Internet Besieged: Countering Cyberspace Scofflaws
  • … uses its type system to provide protection for the security manager. If Java's type system is sound…
  • Cited by 23 (4 self) – Add To MetaCart
  • Java: Semantics and Type Soundness  
  • by unknown authors
  • … on to prove that as far as that subset was concerned, Java's type system was sound. In the summer of 1998, I…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB