PreVIEW: An untyped graphical calculus for resource-aware programming

Date
2004
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract

As 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.

Description
Degree
Master of Science
Type
Thesis
Keywords
Computer science
Citation

Ellner, Stephan J.. "PreVIEW: An untyped graphical calculus for resource-aware programming." (2004) Master’s Thesis, Rice University. https://hdl.handle.net/1911/17671.

Has part(s)
Forms part of
Published Version
Rights
Copyright 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.
Link to license
Citable link to this page