Tags: Programming Language.
In computer science a typed assembly language (TAL) is an assembly language that is extended to include a method of annotating the datatype of each value that is manipulated by the code. These annotations can then be used by a program (type checker) that processes the assembly language code in order to analyse how it will behave when it is executed. Specifically such a type checker can be used to prove the type safety of code that meets the criteria of some appropriate type system.