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)
