Hongwei Xi, Robert Harper  Home/Search
Context Related
| cmu.edu/papers/pdf...embly_language.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/papers/...=Submit+search! (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 suchas run-time array bound check elimination and tag check elimination. (Update)
Cited by: More
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (Correct)
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
Typed Stateful Programming - Zhu (2004) (Correct)
Similar documents (at the sentence level):
45.0%: A Dependently Typed Assembly Language (Extended Abstract) - Xi, Harper (Correct)
32.4%: A Dependently Typed Assembly Language - Xi, Harper (1999) (Correct)
Similar documents based on text: More All
0.7: Dependently Typed Data Structures - Xi (1999) (Correct)
0.6: Imperative Programming with Dependent Types - Xi (2000) (Correct)
0.6: Imperative Programming with Dependent Types (Extended Abstract) - Xi (2000) (Correct)
Related documents from co-citation: More All
30: Dependent types in practical programming - Xi, Pfenning - 1999
24: Proof-carrying code - Necula - 1997
21: Eliminating array bound checking through dependent types - Xi, Pfenning - 1998
BibTeX entry: (Update)
Hongwei Xi and Robert Harper. A Dependently Typed Assembly Language. Technical Report CSE-99-008, Oregon Graduate Institute, July 1999. http://citeseer.ist.psu.edu/xi01dependently.html More
@inproceedings{ xi01dependently,
author = "Hongwei Xi and Robert Harper",
title = "A Dependently Typed Assembly Language",
booktitle = "International Conference on Functional Programming",
pages = "169--180",
year = "2001",
url = "citeseer.ist.psu.edu/xi01dependently.html" }
Citations not processed or no citations identified.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.aladdin.cs.cmu.edu/papers/test.php?author=&title=&year=all+years&submit=Submit+search!): More
Improving Index Performance through Prefetching - Chen, Gibbons, Todd (2001) (Correct)
Boosting and Maximum Likelihood for Exponential Models - Lebanon, Lafferty (2001) (Correct)
A Push-Relabel Framework for Submodular Function.. - FLEISCHER, IWATA (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC