Show simple item record

dc.contributor.authorMorrisett, John Gregory
dc.contributor.authorCrary, Karl
dc.contributor.authorGlew, Neal
dc.contributor.authorWalker, David
dc.date.accessioned2010-03-02T14:56:13Z
dc.date.issued2003
dc.identifier.citationMorrisett, Greg, Karl Crary, Neal Glew, and David Walker. 2003. Stack-based typed assembly language. Journal of Functional Programming 13: 957-959.en_US
dc.identifier.issn0956-7968en_US
dc.identifier.urihttp://nrs.harvard.edu/urn-3:HUL.InstRepos:3710253
dc.description.abstractIn previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. This work assumed such a compiler would perform a continuation-passing style transform and eliminate the control stack by heap-allocating activation records. However, most compilers are based on stack allocation. This paper presents STAL, an extension of TAL with stack constructs and stack types to support the stack allocation style. We show that STAL is sufficiently expressive to support languages such as Java, Pascal, and ML; constructs such as exceptions and displays; and optimizations such as tail call elimination and callee-saves registers. This paper also formalizes the typing connection between CPS-based compilation and stack-based compilation and illustrates how STAL can formally model calling conventions by specifying them as formal translations of source function types to STAL types.en_US
dc.description.sponsorshipEngineering and Applied Sciencesen_US
dc.language.isoen_USen_US
dc.publisherCambridge University Pressen_US
dc.relation.isversionofhttp://dx.doi.org/10.1017/S0956796802004446en_US
dash.licenseLAA
dc.titleStack-based Typed Assembly Languageen_US
dc.typeJournal Articleen_US
dc.description.versionAccepted Manuscripten_US
dc.relation.journalJournal of Functional Programmingen_US
dash.depositing.authorMorrisett, John Gregory
dc.date.available2010-03-02T14:56:13Z
dc.identifier.doi10.1017/S0956796802004446*
dash.contributor.affiliatedMorrisett, Greg Gregory


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record