Songtao Xia James Hook June 1, 2000  Home/Search
Context
Related
| sop.inria.fr/oasis/DTP00/Proce...xia.ps 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: sop.inria.fr/oasis/...proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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