Greg Morrisett Karl Crary + Neal Glew Dan Grossman Richard Samuels Frederick...  Home/Search
Context Related
| ucsb.edu/~ckrintz/...talx86wcsss.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: ucsb.edu/~ckrintz/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The goal of typed assembly language (TAL) is to provide a low-level, statically typed target language that is better suited than Java bytecodes for supporting a wide variety of source languages and a number of important optimizations. In previous work, we formalized idealized versions of TAL and proved important safety properties about them. In this paper, we present our progress in defining and implementing a realistic typed assembly language called TALx86. The TALx86 instructions comprise a... (Update)
Cited by: More
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (Correct)
Similar documents (at the sentence level):
54.0%: TALx86: A Realistic Typed Assembly Language - Morrisett, Crary, Glew.. (1999) (Correct)
7.1%: Dynamic Software Updating - Hicks (2001) (Correct)
Active bibliography (related documents): More All
0.2: Basic Research in Computer Science - Fast Partial Evaluation (Correct)
0.2: An Operational Foundation for Delimited Continuations.. - Biernacka, Biernacki.. (2004) (Correct)
0.2: The Abstraction and Instantiation of String-Matching.. - Amtoft, Consel.. (2001) (Correct)
Similar documents based on text: More All
0.6: From System F to Typed Assembly Language - Morrisett, Walker, Crary, Glew (1998) (Correct)
0.5: Stack-Based Typed Assembly Language - Morrisett, Crary, Walker, Glew (1998) (Correct)
Related documents from co-citation: More All
46: Proof-carrying code - Necula - 1997
32: The design and implementation of a certifying compiler - Necula, Lee - 1998
29: Dependent types in practical programming - Xi, Pfenning - 1999
BibTeX entry: (Update)
Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Fred Smith, Dave Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. Technical report, Cornell University, 1999. Submitted to the 1999 ACM SIGPLAN Workshop on Compiler Support for System Software. http://citeseer.ist.psu.edu/morrisett99talx.html More
@unpublished{ morrisett99talx,
author = "Greg Morrisett and Karl Crary and Neal Glew and Dan Grossman and Richard Samuels and Frederick Smith and David Walker and Stephanie Weirich and Steve Zdancewic",
title = "{TALx86}: {A} Realistic Typed Assembly Language",
year = "1999",
url = "citeseer.ist.psu.edu/morrisett99talx.html" }
Citations (may not include all citations):167 Garbage collection in an uncooperative environment (context) - Boehm, Weiser - 1988
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
62 Type safe linking and modular assembly language - Glew, Morrisett - 1999
35 Certifying compilation and run-time code generation - Hornof, Jim - 1999
10 A simple proof technique for certain parametricity results - Crary - 1998
8 A type system for Java bytecode subroutines (context) - Abadi, Stata - 1998
6 The MLJ User Guide - Benton, Kennedy et al. - 1998
4 and Jonathan Rees (context) - Kelsey, Clinger
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ucsb.edu/~ckrintz/papers/): More
NWSLite: A Non-Parametric Prediction Utility for.. - Gurun, Krintz, Wolski (Correct)
Efficient Representation and Validation of Proofs - Necula, Lee (1998) (Correct)
A Machine Learning Approach to Automatic Production of.. - Monsifrot, Bodin.. (2002) (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