Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ICFP
2001
ACM

favoriteEmaildiscussreport

133views Programming Languages» more ICFP 2001»

A Dependently Typed Assembly Language

14 years 4 months ago

A Dependently Typed Assembly Language

Download www.eecs.harvard.edu

We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types at the assembly level. DTAL improves upon TAL, enabling certain important compiler optimizations such as run-time array bound check elimination and tag check elimination. Also, DTAL formally addresses the issue of representing sum types at assembly level, making it suitable for handling not only datatypes in ML but also dependent datatypes in Dependent ML (DML).

Hongwei Xi, Robert Harper

Real-time Traffic

Dependent Datatypes | Dependent ML | Dependent Types | ICFP 2001 | Programming Languages |

claim paper

Related Content

» TypeSafe Linking and Modular Assembly Language

» A Dependently Typed Framework for Static Analysis of Program Execution Costs

» Sharing in Typed Module Assembly Language

» Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Langua...

» A Typed Assembly Language for Noninterference

» Using Dependent Types to Certify the Safety of Assembly Code

» Toward a foundational typed assembly language

» A Typed Assembly Language for Confidentiality

» Strongly typed memory areas programming systemslevel data structures in a functional langu...

Post Info
More Details (n/a)

Added	13 Dec 2009
Updated	13 Dec 2009
Type	Conference
Year	2001
Where	ICFP
Authors	Hongwei Xi, Robert Harper

Comments (0)