Hostname: page-component-586b7cd67f-t7czq Total loading time: 0 Render date: 2024-11-25T19:10:54.388Z Has data issue: false hasContentIssue false
  • English
  • Français

Stack-based typed assembly language

Published online by Cambridge University Press:  27 August 2003

GREG MORRISETT ,
KARL CRARY ,
NEAL GLEW  and
DAVID WALKER
GREG MORRISETT
Affiliation:
Department of Computer Science, Cornell University, Ithaca, NY 14853, USA
KARL CRARY
Affiliation:
Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA
NEAL GLEW
Affiliation:
Intertrust, 4750 Patrick Henry Drive, Santa Clara, CA 95054, USA
DAVID WALKER
Affiliation:
Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The following three figures (figures 10, 11 and 12) were not shown in the original published version of the article. These figures constitute the entire static semantics of the STAL type system.

Type
ERRATA
Information
Journal of Functional Programming , Volume 13 , Issue 5 , September 2003 , pp. 957 - 959
Copyright
2003 Cambridge University Press
Supplementary material: PDF

Morrisett original article

Morrisett original article

Download Morrisett original article(PDF)
PDF 489.8 KB
Submit a response

Discussions

No Discussions have been published for this article.