Typed Assembly Language

A typed AssemblyLanguage in general or the TypedAssemblyLanguage TAL in particular.

See e.g.

• http://portal.acm.org/citation.cfm?id=292563
• http://www.cs.cornell.edu/Info/People/jgm/palo-alto/

See also ProofCarryingCode

CategoryProgrammingLanguage