https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AResource-Aware_Programming_-_Invited_paperPublications:Resource-Aware Programming - Invited paper - Revision history2026-05-22T23:03:16ZRevision history for this page on the wikiMediaWiki 1.22.6https://wiki.hh.se/ceres/index.php?title=Publications:Resource-Aware_Programming_-_Invited_paper&diff=4294&oldid=prevSlawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=396130 |Name=Taha, Walid [waltah] (Rice University, Houston..."2014-06-26T03:45:06Z<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Walid Taha |PID=396130 |Name=Taha, Walid [waltah] (Rice University, Houston..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=Walid Taha<br />
|PID=396130<br />
|Name=Taha, Walid [waltah] (Rice University, Houston, TX, United States)<br />
|Title=Resource-Aware Programming - Invited paper<br />
|PublicationType=Conference Paper<br />
|ContentType=Övrigt vetenskapligt<br />
|Language=eng<br />
|Journal=<br />
|JournalISSN=<br />
|Status=<br />
|Volume=<br />
|Issue=<br />
|HostPublication=Embedded software and systems : first international conference, ICESS 2004, Hangzhou, China, December 9-10, 2004 ; revised selected papers<br />
|Conference=First International Conference on Embedded Software and Systems, ICESS 2004, Hangzhou, 9-10 December, 2004<br />
|StartPage=38<br />
|EndPage=43<br />
|Year=2004<br />
|Edition=<br />
|Pages=<br />
|City=Berlin<br />
|Publisher=Springer Berlin/Heidelberg<br />
|Series=Lecture Notes in Computer Science ; 3605<br />
|SeriesISSN=03029743<br />
|ISBN=3540281282;978-354028128-3<br />
|Urls=<br />
|ISRN=<br />
|DOI=<br />
|ISI=000233067600006<br />
|PMID=<br />
|ScopusId=2-s2.0-33646011976<br />
|NBN=urn:nbn:se:hh:diva-14397<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=<br />
|Categories=Datavetenskap (datalogi) (10201)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<p>Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for designing a class of languages that we call Resource-aware Programming (RAP) languages. By taking into account the natural distinction between the development platform and the deployment platform for embedded software, RAP languages can alleviate the need for drastic trade-offs between expressive power and static guarantees. We describe our preliminary experience designing and programming in a RAP language for hardware design, and give a brief overview of directions for future work.</p><br />
|Opponents=<br />
|Supervisors=<br />
|Examiners=<br />
|Patent=<br />
|ThesisLevel=<br />
|Credits=<br />
|Programme=<br />
|Subject=<br />
|Uppsok=<br />
|DefencePlace=<br />
|DefenceLanguage=<br />
|DefenceDate=<br />
|CreatedDate=2011-02-08<br />
|PublicationDate=2011-02-08<br />
|LastUpdated=2013-01-04<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:396130}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>Slawek