 | This articledoes notcite anysources. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged andremoved. Find sources: "Typed assembly language" – news ·newspapers ·books ·scholar ·JSTOR(March 2017) (Learn how and when to remove this message) |
Incomputer science, atyped assembly language (TAL) is anassembly language that is extended to include a method of annotating thedatatype 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 thetype safety of code that meets the criteria of some appropriatetype system.
Typed assembly languages usually include a high-level memory management system based ongarbage collection.
A typed assembly language with a suitably expressive type system can be used to enable the safe execution of untrusted code without using an intermediate representation likebytecode, allowing features similar to those currently provided by virtual machine environments likeJava and.NET.
 | Thiscomputer science article is astub. You can help Wikipedia byadding missing information. |
 | Thisprogramming-language-related article is astub. You can help Wikipedia byadding missing information. |