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. Typed assembly languages usually include a high-level memory management system based on garbage collection.
|is dbo:wikiPageDisambiguates of|
|is dbo:wikiPageRedirects of|
|is dbo:wikiPageWikiLink of|
|is foaf:primaryTopic of|