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)
Cited by: More
JaCoWeb Security - A CORBA Security Discretionary Prototype - Westphall, Fraga.. (2001) (Correct)
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (Correct)
O'KLAIM: a coordination language with mobile mixins - Bettini, Bono, Venneri (2004) (Correct)
Similar documents (at the sentence level):
65.7%: Programming Languages for Mobile Code - Thorn (1997) (Correct)
Active bibliography (related documents): More All
0.3: Coordination in Mobile Agent Applications - Cabri, Leonardi, Zambonelli (1997) (Correct)
0.2: Split Objects: a Disciplined Use of Delegation within Objects - Bardou, Dony (1996) (Correct)
0.2: Delegation: An Important Concept for the Appropriate - Design Of Object (Correct)
Related documents from co-citation: More All
27: Mobile Agents: Are They a Good Idea - Chess, et et al. - 1995
23: The Java Programming Language (context) - Ken, Gosling - 1996
20: Designing distributed applications with mobile code paradigms - Carzaniga, Picco et al. - 1997
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
25 Computer Security Basics (context) - Russell, Sr - 1991
19 An overview of mobile agent programming - Knabe - 1996
11 Wiley Professional Computing (context) - Nielson, Nielson et al. - 1992
8 cient and languageindependent mobile programs (context) - Adl-Tabatabai, Langdale et al. - 1996
6 The Telescript home page (context) - Magic - 1996
5 Language and Method (context) - Lano - 1996
4 the semantic diversity of delegation-based programming langu.. (context) - Malenfant - 1995
3 The Inferno home page (context) - Technologies - 1996
2 Internet sabotage (context) - Fox - 1996
1 Java security: Weaknesses and solutions (context) - Billon - 1996
1 Software Architectures and Programming Systems Design; volum.. (context) - Bjrner - 1991
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