PreVIEW: An untyped graphical calculus for resource-aware programming

Simple item page
dc.contributor.advisorTaha, Waliden_US
dc.creatorEllner, Stephan J.en_US
dc.date.accessioned2009-06-04T08:00:45Zen_US
dc.date.available2009-06-04T08:00:45Zen_US
dc.date.issued2004en_US
dc.description.abstractAs visual programming languages become both more expressive and more popular in the domains of real-time and embedded software, the need for rigorous techniques for reasoning about programs written in these languages becomes more pressing. Indeed, due to a subtle but fundamental mismatch between graphical and textual representations of programs, semantic concepts established in the textual setting cannot be mapped to the graphical setting without a careful analysis of the connection between the two representations. Focusing on operational (as opposed to type-theoretic) aspects of Resource-aware Programming (RAP), we analyze the connection between graphical and textual representations of programs that can express both higher-order functions and staging constructs. After establishing a precise connection between the two, we illustrate how this connection can be used to lift a reduction semantics from the textual to the graphical setting.en_US
dc.format.extent63 p.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.callnoTHESIS COMP.SCI. 2004 ELLNERen_US
dc.identifier.citationEllner, Stephan J.. "PreVIEW: An untyped graphical calculus for resource-aware programming." (2004) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/17671">https://hdl.handle.net/1911/17671</a>.en_US
dc.identifier.urihttps://hdl.handle.net/1911/17671en_US
dc.language.isoengen_US
dc.rightsCopyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.en_US
dc.subjectComputer scienceen_US
dc.titlePreVIEW: An untyped graphical calculus for resource-aware programmingen_US
dc.typeThesisen_US
dc.type.materialTexten_US
thesis.degree.departmentComputer Scienceen_US
thesis.degree.disciplineEngineeringen_US
thesis.degree.grantorRice Universityen_US
thesis.degree.levelMastersen_US
thesis.degree.nameMaster of Scienceen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
1419071.PDF
Size:
2.1 MB
Format:
Adobe Portable Document Format
Download
Collections
Rice University Theses and Dissertations