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