Type-Safe Assembly Language
High-Performance Applets?
Trust:
Typed Assembly Language Compiler
Typed Assembly Language:
Typed x86: An Example
Fact Fact:
Typed x86 Features:
Comparison to PCC [Necula & Lee]
Status
Email: jgm@cs.cornell.edu
Home Page: http://www.cs.cornell.edu/Info/People/jgm/home.html