Форум WASM.RU

captain cobalt

Воин дзена

Typed Assembly Language

Juan Chen -
A Low-level Typed Assembly Language with a Machine-checkable Soundness Proof
ftp://ftp.cs.princeton.edu/techreports/2004/704.pdf
Size: 731 KB (747 574 bytes)

Eduardo Bonelli, Adriana Compagnoni, Ricardo Medel -
SIFTAL: A Typed Assembly Language for Secure Information Flow Analysis
http://www.cs.stevens.edu/~abc/publications/siftal.pdf
Size: 287 KB (293 468 bytes)

Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu -
Construction of a Semantic Model for a Typed Assembly Language
http://www.cs.princeton.edu/~appel/papers/construction.pdf
Size: 94 KB (96 247 bytes)

Hongwei Xi, Robert Harper -
A Dependently Typed Assembly Language
http://www.eecs.harvard.edu/~greg/cs255sp2004/xi2001dtal.pdf
Size: 186 KB (189 653 bytes)

Xing Ji -
Survey of Typed Assembly Language
http://www.soe.ucsc.edu/classes/cmps203/Fall04/finalreports/xing_Surve y%20of%20Typed%20Assembly%20Language.pdf
Size: 274 KB (279 868 bytes)

Karl Crary -
Toward a Foundational Typed Assembly Language
http://www-2.cs.cmu.edu/~crary/papers/2003/talt/talt.pdf
Size: 240 KB (245 183 bytes)
http://www-2.cs.cmu.edu/~crary/papers/2003/talt/talt-tr.pdf
Size: 325 KB (332 226 bytes)

Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels,
Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic -
TALx86: A Realistic Typed Assembly Language
http://www.cs.cornell.edu/talc/papers/talx86-wcsss.pdf
Size: 149 KB (152 182 bytes)

Greg Morrisett, Karl Crary, Neal Glew, David Walker -
Stack-Based Typed Assembly Language
http://glew.org/nglew/papers/stal.pdf
Size: 207 KB (211 228 bytes)

Greg Morrisett, David Walker, Karl Crary, Neal Glew -
From System F to Typed Assembly Language
http://glew.org/nglew/papers/tal-popl.pdf
Size: 192 KB (196 330 bytes)
__________________________________________

Слайды:

http://osq.cs.berkeley.edu/retreat04/Chlipala-Poster.pdf
Size: 63 KB (63 568 bytes)

http://www.itu.dk/courses/ISKS/E2003/slides/5-1up.pdf
Size: 156 KB (159 002 bytes)

http://guinness.cs.stevens-tech.edu/~rmedel/hbal/publications/posterSi ftal.pdf
Size: 114 KB (116 538 bytes)

From: http://flint.cs.yale.edu/shao/cs430/lectureNotes/lec_mar4.pdf
Size: 110 KB (112 437 bytes)