Typed Assembly Language: TAL
Edit Page
Report
Scan day: 07 February 2014 UTC
18
Virus safety - good
Description: Extends traditional untyped assembly languages with typing annotations, memory management primitives, and sound set of typing rules. The typing rules guarantee memory safety, control flow safety, type safety of TAL programs. What do you want to type check today?
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. We have implemented a variant of TAL for Intel's IA32 architecture called TALx86, and have written a compiler for a safe C-like language called Popcorn to TALx86.
Size: 975 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Typed Assembly Language |
| Keywords: | |
| Description: | |
| IP-address: | 128.84.154.137 |
WHOIS Info
| NS | Name Servers: BIGRED.CIT.CORNELL.EDU 128.253.180.35 DNS.CIT.CORNELL.EDU 192.35.82.53 |
| WHOIS | |
| Date | activated: 15-Jul-1985 last updated: 20-Sep-2012 expires: 31-Jul-2014 |