Date of Original Version

12-2002

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, arrays, and a general account of addressing modes. TALT also implements the von Neumann model in which programs are stored in memory, and supports relative addressing. Type safety for execution and for garbage collection are shown by machine-checkable proofs. TALT is the first formalized typed assembly language to provide any of these features.

DOI

10.1145/604131.604149

Share

COinS
 

Published In

Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages . POPL '03. , 198-212.