See this document in CiteSeerX!

Index types for JVM method invocation  (Make Corrections)  
Songtao Xia James Hook June 1, 2000



  Home/Search   Context   Related

 
View or download:
sop.inria.fr/oasis/DTP00/Proce...xia.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sop.inria.fr/oasis/...proceedings (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Language based security is a promising technique that supports secure and efficient applications on the internet. Certain security information in the compiled mobile code is downloaded along with the code and is verified before the code is run by the downloader. Annotating code with index types is one particular form of language-based security; it allows strong program properties to be asserted and checked. We report our experience of applying a restricted form of dependent types to JVMLi, ... (Update)

Similar documents based on text:   More   All
0.8:   Dependently typing JVM method invocation - Xia, Hook (2000)   (Correct)
0.1:   Abstraction-carrying Code: a New Method to Certify Temporal.. - Xia, Hook (2003)   (Correct)
0.1:   Towards Array Bound Check Elimination in Java Virtual Machine.. - Xi, Xia (1999)   (Correct)

BibTeX entry:   (Update)

@misc{ sxia-index,
  author = "Songtao Xia Sxia",
  title = "Index types for JVM method invocation",
  url = "citeseer.ist.psu.edu/720055.html" }
Citations (may not include all citations):
746   Java Virtual Machine Specification (context) - Lindholm, Yelin - 1996
566   Proof-carrying Code - Necula - 1997
201   to Typed Assembly Language (context) - Morrisett, Walker et al. - 1998
197   Dependent Types in Practical Programming - Xi, Pfenning - 1999
197   Dependent Types in Practical Programming - Xi - 1998
181   Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
169   A Type System for Java Bytecode Subroutines - Stata, Abadi - 1998
110   Eliminating array bound checking through dependent types - Xi, Pfening - 1998
109   A Type System for Object Initialization in the Java Bytecode.. - Freund, Michell - 1998
97   Stack-based Typed Assembly Language - Morrisett, Crary et al. - 1998
42   The Structure of Typed Programming Languages (context) - Schmidt - 1994
40   Optimizing Array Bound Checks Using Flow Analysis - Gupta - 1994
24   Dependently Typed Data Structures - Xi - 1999
21   Language-Based Security - Kozen - 1999
16   Comprehensive Type System for Java Bytecode Subroutines (context) - O'Callahan - 1999

[Article contains additional citations not shown here]

Documents on the same site (http://www-sop.inria.fr/oasis/DTP00/Proceedings/proceedings.html):   More
Tag Elimination - or - Type Specialisation is a Type-Indexed.. - Taha, Makholm (2000)   (Correct)
Type checking Dependent (Record) Types and Subtyping - Betarte   (Correct)
Specifying Interactions With Dependent Types - Hancock, Setzer (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