Before revision: 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) .
After revision: 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 .