Tommy Thorn  Home/Search
Context Related
| irit.fr/MANIFS/ISYPA...TommyThorn.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: irit.fr/MANIFS/ISYPA...ISYPAR2000 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: machine level: The Java Virtual Machine (JVM) is a language dependent abstract machine that is close enough to Java that its object code can be checked to respect the language semantics. In addition to these static (load-time) verifications, the JVM must implement dynamic checks to guarantee the safety of the language. These are bounds checking on array and string accesses, checking casts to a more specific type, invoking methods on null pointers, etc. The Java language, as described, is a... (Update)
Similar documents based on text:
0.4: Programming Languages for Mobile Code - Thorn (1997) (Correct)
BibTeX entry: (Update)
T. Thorn. Programming Languages for Mobile Code. ACM Cumpting Surveys, 29(3):213--239, September 1997. http://citeseer.ist.psu.edu/thorn99programming.html More
@article{ thorn97programming,
author = "Tommy Thorn",
title = "Programming languages for mobile code",
journal = "ACM Computing Surveys",
volume = "29",
number = "3",
pages = "213--239",
year = "1997",
url = "citeseer.ist.psu.edu/thorn99programming.html" }
Citations (may not include all citations):264 Safe kernel extensions without run-time checking - Necula, Lee - 1996
264 A language with distributed scope - Cardelli - 1995
221 Denotational Semantics: A Methodology for Language Developme.. (context) - Schmidt - 1986
158 Certification of programs for secure information flow (context) - Denning, Denning - 1977
155 Secure computer system: Mathematical foundations and model (context) - Bell, LaPadula - 1973
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
136 Java security: From HotJava to Netscape and beyond - Dean, Felten et al. - 1996
92 Going beyond the sandbox: An overview of the new security ar.. - Gong - 1997
90 Email with a mind of its own: the Safe-TCL language for enab.. (context) - Borenstein - 1994
85 Formal models for computer security (context) - Landwehr - 1981
52 Security models - McLean - 1994
48 Network objects - Birrell, Nelson et al. - 1993
40 Compile-time detection of information flow in sequential pro.. - Banatre, Bryce et al. - 1994
30 A security flow control algorithm and its denotational seman.. - Mizuno, Schmidt - 1992
28 A web navigator with applets in Caml - Rouaix - 1996
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.irit.fr/MANIFS/ISYPAR/ISYPAR2000.html):
Apport Des Agents Mobiles `a L'ex'ecution R'epartie - Guy Bernard Institut (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC