Jaeyoun Chung  Home/Search
Context
Related
| cs.kaist.ac.kr/./theses...jay.thesis.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: cs.kaist.ac.kr/theses (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper is the type checker part. Section 4.2 briefly describes the translation method. 3.2 The Language etySECK Our language is a variant of Lanin's SECD[Plo75] machine with type and the effect annotations. The syntax and the semantics of the machine is described in Figure 3.2 and Figure 3.3, respectively. Machine 10 configuration consists of six components -- stack, heap, environment, sequence of commands, continuation and effects of the memory accesses. Throughout this paper, we use... (Update)
Active bibliography (related documents): More All
0.5: Verification of Machine Codes Using An Effect Type System - Chung, Ryu, Yi (2000) (Correct)
0.1: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.0: Java Exceptions Throw no Surprises - Drossopoulou, Valkevych (2000) (Correct)
Similar documents based on text: More All
0.6: Exception Analysis for Languages with Exceptions - Ryu (Correct)
0.3: A Generalized Let-Polymorphic Type Inference Algorithm - Lee, Yi (2000) (Correct)
0.3: Combinatorial Methods in Dehn Surgery - Gordon (1997) (Correct)
BibTeX entry: (Update)
@misc{ chung-explicit,
author = "Jaeyoun Chung",
title = "An Explicit Polymorphic Type System for Verifying Untrusted Low-Level Codes",
url = "citeseer.ist.psu.edu/chung00explicit.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1999
566 Proof-carrying code - Necula - 1997 ACM DBLP
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997 ACM
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
343 Principal type-scheme for functional programs (context) - Damas, Milner - 1982
306 A syntactic approach to type soundness - Wright, Felleisen - 1992 ACM DBLP
201 to typed assembly language (context) - Morrisett, Walker et al. - 1997
109 A Type System for Object Initialization In the Java Bytecode.. - Freund, Mitchell - 1998 ACM DBLP
99 Polymorphic effect systems (context) - Lucassen, Gifford - 1988 ACM DBLP
97 Stack-based typed assembly language - Morrisett, Crary et al. - 1998 ACM DBLP
93 TALx86: A realistic typed assembly language - Morrisett, Crary et al.
88 Implementation of the typed call-by-value -calculus using a .. (context) - Tofte, Talpin - 1994
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
66 Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991 ACM DBLP
34 Type-based analysis of uncaught exceptions - Pessaux, Leroy - 1999
30 Polymorphic Typing of an Algorithmic Language - Leroy - 1992
27 Proofs about a Folklore Let-polymorphic Type Inference Algor.. - Lee, Yi - 1998 ACM DBLP
27 region and effect inference (context) - Talpin, Jouvelot - 1992
21 Language-based security - Kozen - 1999 ACM DBLP
2 Theoretical Computer Sicence (context) - Plotkin, call-by-value et al. - 1975
1 An overview of Types in Compilation - Leroy - 1998
http://www.research.att.com/~vj/bug.html
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