Typed Assembly Language
Encyclopedia : T : TY : TYP : Typed Assembly Language
In computer science, a Typed Assembly Language refers to an assembly language that is extended to include a method of anotating the datatype of each value that is manipulated by the code and a high-level memory management system (typically based on a garbage collector). These annotations can then be used by a program that processes the assembly language code in order to analyse how it will behave when it is executed. Specifically, such a processor can be used to prove the type safety of code that meets the criteria of some appropriate type system.
Combined with an adequately expressive type system, a typed assembly language verifier could be used to enable the safe execution of untrusted code without using an intermediate representation like bytecode, allowing features similar to those currently provided by virtual machine environments like Java and .NET.
External links
- [TALx86], a research project from Cornell University which has implemented a typed assembler for the Intel IA-32 architecture.
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.