Show simple item record

dc.contributor.authorEllner, Stephan
Taha, Walid
dc.date.accessioned 2017-08-02T22:03:03Z
dc.date.available 2017-08-02T22:03:03Z
dc.date.issued 2005-07-22
dc.identifier.urihttps://hdl.handle.net/1911/96340
dc.description.abstract While visual programming languages continue to gain popularity in domains ranging from scientific computing to real-time systems, the wealth of abstraction mechanisms, reasoning principles, and type systems developed over the last thirty years is currently available mainly for textual languages. With the goal of understanding how results in the textual languages can be mapped to the graphical setting, we develop the visual calculus PreVIEW. While this calculus visualizes computations in dataflow-style similar to languages like LabVIEW and Simulink, its formal model is based on Ariola and Blom's work on cyclic lambda calculi. We extend this model with staging constructs, establish a precise connection between textual and graphical program representations, and show how a reduction semantics for a multi-stage language can be lifted from the textual to the graphical setting.
dc.format.extent 17 pp
dc.language.iso eng
dc.rights You are granted permission for the noncommercial reproduction, distribution, display, and performance of this technical report in any format, but this permission is only for a period of forty-five (45) days from the most recent time that you verified that this technical report is still available from the Computer Science Department of Rice University under terms that include this permission. All other rights are reserved by the author(s).
dc.title A Graphical Multistage Calculus
dc.type Technical report
dc.date.note July 22, 2005
dc.identifier.digital TR05-452
dc.type.dcmi Text
dc.identifier.citation Ellner, Stephan and Taha, Walid. "A Graphical Multistage Calculus." (2005) https://hdl.handle.net/1911/96340.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record