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
Citations:155 - 37 self