Typed Assembly Language for Object-Oriented Languages - Microsoft Research

We study techniques to guarantee safety properties of native code through typed intermediate languages and Typed Assembly Languages (TAL). TAL requires the compiler generate native code with type annotations and a verifier check the annotated native code.

research.microsoft.com