Typed Assembly Language

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

See e.g.

See also ProofCarryingCode

CategoryProgrammingLanguage


EditText of this page (last edited June 27, 2005) or FindPage with title or text search