Stack-based typed assembly language

Authors:
Greg Morrisett;Karl Crary;Neal Glew;David Walker
Affiliations:
Department of Computer Science, Cornell University, Ithaca, NY 14853, USA;Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA;Intertrust, 4750 Patrick Henry Drive, Santa Clara, CA 95054, USA;Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA 15213, USA
Venue:
Journal of Functional Programming
Year:
2003

Citing 0
Cited 5

Compositional type systems for stack-based low-level languages

CATS '06 Proceedings of the 12th Computing: The Australasian Theroy Symposium - Volume 51
Modular development of certified program verifiers with a proof assistant

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Modular development of certified program verifiers with a proof assistant1,2

Journal of Functional Programming
Inferable object-oriented typed assembly language

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Compositional type systems for stack-based low-level languages

CATS '06 Proceedings of the Twelfth Computing: The Australasian Theory Symposium - Volume 51

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.