A Graphical Multistage Calculus
| dc.contributor.author | Ellner, Stephan | en_US |
| dc.contributor.author | Taha, Walid | en_US |
| dc.date.accessioned | 2017-08-02T22:03:03Z | en_US |
| dc.date.available | 2017-08-02T22:03:03Z | en_US |
| dc.date.issued | 2005-07-22 | en_US |
| dc.date.note | July 22, 2005 | en_US |
| 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. | en_US |
| dc.format.extent | 17 pp | en_US |
| dc.identifier.citation | Ellner, Stephan and Taha, Walid. "A Graphical Multistage Calculus." (2005) https://hdl.handle.net/1911/96340. | en_US |
| dc.identifier.digital | TR05-452 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1911/96340 | en_US |
| dc.language.iso | eng | en_US |
| 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). | en_US |
| dc.title | A Graphical Multistage Calculus | en_US |
| dc.type | Technical report | en_US |
| dc.type.dcmi | Text | en_US |
Files
Original bundle
1 - 1 of 1