Construction of a Semantic Model for a Typed Assembly Language (2004)
Cached
Download Links
- [www.cs.princeton.edu]
- [www.cs.princeton.edu:80]
- [www.cs.princeton.edu]
- [www.cs.bc.edu]
- [www.cse.lehigh.edu]
- DBLP
Other Repositories/Bibliography
by
Gang Tan
,
Andrew W. Appel
,
Kedar N. Swadi
,
Dinghao Wu
| Venue: | In Proc. of VMCAI ’04 |
| Citations: | 12 - 3 self |
BibTeX
@INPROCEEDINGS{Tan04constructionof,
author = {Gang Tan and Andrew W. Appel and Kedar N. Swadi and Dinghao Wu},
title = {Construction of a Semantic Model for a Typed Assembly Language},
booktitle = {In Proc. of VMCAI ’04},
year = {2004},
pages = {30--43},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms.
