TALx86
Edit Page
Report
Scan day: 16 February 2014 UTC
23
Virus safety - good
Description: A Typed Assembly Language for x86. Supports sums, arrays, references, recursive types, subtyping, type tagging, and modules.
The current implementation of Typed Assembly Language, TALx86, is based on Intel's IA32 architecture. This implementation extends the theoretical calculi described in our papers and provides support for sums, arrays, references, recursive types, subtyping, type tagging, and modules, among other features. Our distributions contain our Objective Caml source code and executables for the following:
Size: 402 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Talc Releases |
| Keywords: | |
| Description: | |
| IP-address: | 128.84.154.137 |