// Workers AI · dad joke modeWhat did typed assembly language say? It's a typed cast.
 | This article needs more citations. (March 2026) |
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.[1]
Typed assembly languages provide mechanisms for describing and verifying the types of values stored in registers and memory. These mechanisms allow the type system to enforce safe use of pointers, stack frames, and heap-allocated data structures, independent of any particular memory management strategy.[1]
A typed assembly language can be used to support a trusted execution environment. As safety properties can be verified statically by checking the program's types, TAL based systems execute native code directly without relying on interpreted bytecode or a virtual machine.[1]
See also
[edit]References
[edit]- 1 2 3 Greg Morrisett (2002). "Typed Assembly Language". In Benjamin C. Pierce (ed.). Advanced Topics in Types and Programming Languages (PDF). MIT Press. pp. 137–176.
External links
[edit]- TALx86, a research project from Cornell University which has implemented a typed assembler for the Intel IA-32 architecture.
 | This computer science article is a stub. You can help Wikipedia by adding missing information. |
 | This programming-language-related article is a stub. You can help Wikipedia by adding missing information. |