The semantics of graphical languages

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2007, Pages 122-133

  Ellner, Stephan ^a   Taha, Walid ^b  

^a GOOGLE INC   (United States)

^b RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER GRAPHICS; DIFFERENTIATION (CALCULUS); NUMERICAL METHODS; PROBLEM SOLVING; SEMANTICS; VISUAL SERVOING;

CIRCUIT DESIGN; GRAPHICAL LANGUAGES; PROGRAMMING LANGUAGE THEORY; UCCELLO;

PROGRAMMING THEORY;

EID: 35348885451     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1244381.1244402     Document Type: Conference Paper

References (25)

1. Robin Abraham and Martin Erwig. Header and unit inference for spreadsheets through spatial, analyses. In IEEE Symposium on Visual Languages and Human-Centric Computing, pages 165-172, 2004.
2. Zena M. Ariola and Stefan Blom. Cyclic lambda calculi. In Martín Abadi and Takayasu Ito, editors, Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, volume 1281 of Lecture Notes in Computer Science, pages 77-106. Springer, 1997.
3. M. Burnett, J. Atwood, R. Walpole Djang, H. Gottfried, J. Reichwein, and S. Yang. Forms/3: A. first-order visual language to explore the boundaries of the spreadsheet paradigm. Journal of Functional Programming, 11:155-206, March 2001.
4. W. Citrin, M. Doherty, and B. Zorn. Formal semantics of control in a completely visual programming language. In Allen L. Ambler and Takayuki Dan Kimura, editors, Proceedings of the Symposium on Visual Languages, pages 208-215, Los Alamitos, CA, USA, October 1994. IEEE Computer Society Press.
5. W. Citrin, R. Hall, and B. Zorn. Programming with visual expressions. In Volker Haarslev, editor, Proc. 11th IEEE Int. Symp. Visual Languages, pages 294-301. IEEE Computer Society Press, 5-9 September 1995.
6. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to algorithms. MIT Press and McGraw-Hill Book Company, 14th edition, 1994.
7. Stephan Ellner. Preview: An untyped graphical calculus for resource-aware programming. Master's thesis, Rice University, 2004.
8. Stephan Ellner and Walid Taha. The semantics of graphical languages. 2006. Available in Informal. Proceedings of DCC [20].
9. M. Erwig. Abstract syntax and semantics of visual languages. Jounral of Visual Languages and Computing, 9:461-483, October 1998.
10. Martin Erwig and Margaret M. Burnett. Adding apples and oranges. In 4th International Symposium on Practical Aspects of Declarative Languages, pages 173-191, 2002.
11. Martin Erwig and Bernd Meyer. Heterogeneous visual. languages-integrating visual and textual programming. In Visual Languages, VL, pages 318-325, 1995.
12. National Instruments. LabVIEW Student Edition 6i. Prentice Hall, 2001.
13. S. Peyton Jones, A. Blackwell, and M. Burnett. A user-centred approach to functions in Excel. ICFP, pages 165-176, 2003.
14. Edward. A. Lee. What's ahead for embedded software? IEEE Computer, pages 18-26, September 2000.
15. MetaOCaml: A compiled, type-safe multi-stage programming language. Available online from http://www.metaocaml.org/, 2004.
16. National. Instruments. Lab VIEW. Online at http://www.ni.com/1abview.
17. Oregon Graduate Institute Technical Reports. P.O. Box 91000, Portland, OR 97291-1000,USA. Available online from ftp://cse.ogi.edu/pub/tech-reports/ README.html.
18. Jan Rekers and Andy Schuerr. Defining and parsing visual languages with layered graph grammars. Journal of Visual Languages and Computing, 8(1):27-55, 1997.
19. Amr Sabry. The Formal Relationship between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms. PhD thesis, Rice University, August 1994.
20. Mary Sheeran and Tom Melham, editors. Sixth International Workshop on Designing Correct Circuits: Vienna, 25-26 March 2006: Participants' Proceedings. ETAPS 2006, March 2006. A Satellite Event of the ETAPS 2006 group of conferences.
21. Walid Taha. Multi-Stage Programming: Its Theory and Applications. PhD thesis, Oregon Graduate Institute of Science and Technology, 1999. Available from [17].
22. Walid Taha and Michael Florentin Nielsen. Environment classifiers. In The Symposium on Principles of Programming Languages (POPL '03), New Orleans, 2003.
23. The MathWorks. Simulink. Online at http://www.mathworks.com/products/ simulink.
24. Uccello: A model for supporting higher-order, generative programming in visual languages. Available online from. http://www.resource-aware.org/ twiki/pub/RAP/WebHome/final-small. png, 2006.
25. Da-Qian Zhang, Kang Zhang, and Jiannong Cao. A context-sensitive graph grammar formalism for the specification of visual languages. The Computer Journal, 44(3): 186-200, 2001.