Visual Semantics - Or: What You See is What You Compute

We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and some edges are represented by geometric relationships between these figures. By carefully designing visual graphs and corresponding mappings to syntax graphs, semantics definitions can, at least partially, employ a visual notation while still based on syntax. Visual semantics thus offers the "best of lds" by integrating abstract syntax and visual notation. These concepts can also be used to give visual semantics for traditional textual formalisms. As an example we provide a visual definition of Turing machines.

• Type: Conference
• Year: 1998
• Where: VL
• Authors: Martin Erwig
• Keywords: Concrete Visual Syntax, Visual, Visual Graphs, Visual Languages, VL 1998