Generating Diagram Editors with DiaGen
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Creating Semantic Representations of Diagrams
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
The semantics of graphical languages
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Implementation and Application of Functional Languages
Specification of a Drawing Facility for Diagram Editors
Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques
Journal of Visual Languages and Computing
A generic system for interactive real-time animation
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
| Hi-index | 0.00 |
The lambda calculus is a formal symbolic term rewriting system that has been used for many years both as a mechanism for defining the semantics of programming languages and as the basis for functional programming languages. In this paper, we describe a completely visual representation for lambda expressions, VEX (Visual EXpressions), that has several advantages over traditional textual lambda calculus. Although VEX is designed as an expression-oriented component of VIPR (VIsual PRogramming language), it can also be used in teaching the concepts of the lambda calculus as a replacement for or augmentation to the teaching of traditional textual rewrite rules. Many semantic issues in the lambda calculus that are confusing to students, including substitution, free variables and binding, become apparent and explicit in VEX.