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

Document Versions

TALx86: A Realistic Typed Assembly Language –Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic — 1999 — In Second Workshop on Compiler Support for System Software
TALx86: A Realistic Typed Assembly Language –Greg Morrisett , Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic — 1999 — IN SECOND WORKSHOP ON COMPILER SUPPORT FOR SYSTEM SOFTWARE
TALx86: A Realistic Typed Assembly Language –Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic — 1999 — In Second Workshop on Compiler Support for System Software
TALx86: A Realistic Typed Assembly Language –Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic — 1999 — In Second Workshop on Compiler Support for System Software