Typed Assembly Language (TAL) extends traditional untyped assembly languages with typing annotations, memory management primitives, and a sound set of typing rules. These typing rules guarantee the memory safety, control flow safety, and type safety of TAL programs. Moreover, the typing...
compileroptimizations
computer science
control flow
data types
hoare logic
low-level code
memory management
mobile code
operating systems
polymorphic functions
research
safety
static verification
structured programming
tal
type safety
type verification
typed assembly language
verifiably safe code
