TALx86: A Realistic Typed Assembly Language (1999)

by Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic
Venue:In Second Workshop on Compiler Support for System Software