This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Typed assembly language" – news · newspapers · books · scholar · JSTOR (March 2026) (Learn how and when to remove this message)

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

• Proof-carrying code

References

External links

• 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.

• v
• t
• e

This programming-language-related article is a stub. You can help Wikipedia by adding missing information.

• v
• t
• e