Jump to content

Category:TAL

From Rosetta Code
Revision as of 14:06, 18 May 2010 by rosettacode>EdK (Added some content)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Language
TAL
This programming language may be used to instruct a computer to perform a task.
Official website
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using TAL.


Typed Assembly Language (TAL) extends traditional untyped assembly languages with typing annotations, memory management primitives, and a sound set of typing rules. These typing rules guarantee the memory safety, control flow safety, and type safety of TAL programs. Moreover, the typing constructs are expressive enough to encode most source language programming features including records and structures, arrays, higher-order and polymorphic functions, exceptions, abstract data types, subtyping, and modules. Just as importantly, TAL is flexible enough to admit many low-level compiler optimizations. Consequently, TAL is an ideal target platform for type-directed compilers that want to produce verifiably safe code for use in secure mobile code applications or extensible operating system kernels.

Subcategories

This category has the following 3 subcategories, out of 3 total.

Cookies help us deliver our services. By using our services, you agree to our use of cookies.