View source for Publications:Generating Heap-bounded Programs in a Functional Setting

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Walid Taha, Stephan Ellner, Hongwei Xi
|PID=588276
|Name=Taha, Walid [waltah] (Rice University, Houston, TX, USA);Ellner, Stephan (Rice University, Houston, TX, USA);Xi, Hongwei (Boston University, Boston, MA, USA)
|Title=Generating Heap-bounded Programs in a Functional Setting
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=EMSOFT'03. International Conference on Embedded Software and Systems.
|StartPage=
|EndPage=
|Year=2003
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20977
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Datorsystem (20206)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>High-level programming languages oﬀer signiﬁcant expressivity but provide little or no guarantees about resource utilization.Resource-bounded languages provide strong guarantees about the runtime behavior of programs but often lack mechanisms that allow programmers to write more structured, modular, and reusable programs. Toovercome this basic tension in language design, this paper advocates taking into account the natural distinction between the development platform and the deployment platform for resource-sensitive software.To illustrate this approach, we develop the meta-theory for GeHB, a twolevel language in which ﬁrst stage computations can involve arbitraryresource consumption, but the second stage can only involve functionalprograms that do not require new heap allocations. As an example ofa such a second-stage language we use the recently proposed ﬁrst-orderfunctional language LFPL. LFPL can be compiled directly to mallocfree, imperative C code. We show that all generated programs in GeHBcan be transformed into well-typed LFPL programs, thus ensuring thatthe results established for LFPL are directly applicable to GeHB.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-14
|PublicationDate=2013-01-15
|LastUpdated=2014-01-29
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588276}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}