Active Bibliography

18 Abstracting Allocation: The New new Thing – Nick Benton - 2006
Abstract A Syntactic Approach to Foundational Proof-Carrying Code – Nadeem Abdul Hamid - 2005
8 Semantic foundations for typed assembly languages – Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang - 2008
Modular Machine Code Verification – Zhaozhong Ni - 2007
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
944 A theory of type polymorphism in programming – Robin Milner - 1978
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984