Programming with visual expressions

Citrin, Wayne; Hall, Richard S.; Zorn, Benjamin G.

doi:10.1109/vl.1995.520822

Cited by 27 publications

(17 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We illustrate these ideas with the visual language VEX [4], which provides a visual notation for the lambda calculus. We chose VEX, since it is a rather small (but computationally complete) language and since any semantics can be easily verified by comparison with the classical lambda-calculus.…”

Section: Recursive Semanticsmentioning

confidence: 99%

“…VEX [4] is a purely 1 visual language: each identifier is represented by an (empty) circle that is connected by a straight line to a so-called root node. A root node is again an empty circle with one or more straight lines touching it, leading to all identifiers with the same name.…”

Section: Example: Vexmentioning

confidence: 99%

“…Now what is the exact meaning of the above drawings? In [4] graphical rewrite rules are given that can be used to reduce VEX pictures to normal forms. This is, however, a pure syntactical manipulation.…”

Section: Example: Vexmentioning

confidence: 99%

See 2 more Smart Citations

Abstract Syntax and Semantics of Visual Languages

Erwig

1998

Journal of Visual Languages & Computing

View full text Add to dashboard Cite

show abstract

Section: Recursive Semanticsmentioning

confidence: 99%

Section: Example: Vexmentioning

confidence: 99%

See 1 more Smart Citation

Abstract Syntax and Semantics of Visual Languages

Erwig

1998

Journal of Visual Languages & Computing

View full text Add to dashboard Cite

show abstract

“…In order to be able to express general spatiotemporal patterns that require nested sequence conditions we need a mechanism to refer to visual specifications from within other specifications. Nesting of visual expressions can sometimes simplify the notation considerably [13]. Coupled with zooming capabilities on the interface level, this approach can lead to convenient specification of hierarchical predicates and patterns.…”

Section: Visual Query Interfacesmentioning

confidence: 99%

Toward Spatio-Temporal Patterns

Erwig

2004

Spatio-Temporal Databases

View full text Add to dashboard Cite

Existing spatiotemporal data models and query languages offer only basic support to query changes of data. In particular, although these systems often allow the formulation of queries that ask for changes at particular time points, they fall short of expressing queries for sequences of such changes.In this chapter we propose the concept of spatiotemporal patterns as a systematic and scalable concept to query developments of objects and their relationships. Based on our previous work on spatiotemporal predicates, we outline the design of spatiotemporal patterns as a query mechanism to characterize complex object behaviors in space and time. We will not present a fully-fledged design. Instead, we will focus on deriving constraints that will allow spatiotemporal patterns to become well-designed composable abstractions that can be smoothly integrated into spatiotemporal query languages.Spatiotemporal patterns can be applied in many different areas of science, for example, in geosciences, geophysics, meteorology, ecology, and environmental studies. Since users in these areas typically do not have extended formal computer training, it is often difficult for them to use advanced query languages. A visual notation for spatiotemporal patterns can help solving this problem. In particular, since spatial objects and their relationships have a natural graphical representation, a visual notation can express relationships in many cases implicitly where textual notations require the explicit application of operations and predicates. Based on our work on the visualization of spatiotemporal predicates, we will sketch the design of a visual language to formulate spatiotemporal patterns.

show abstract

“…We use VEX [1] as a sample language of diagrams which primarily use spatial relationships for expressing λ-expressions: in VEX each variable identifier is represented by an empty circle that is connected by a line to a so-called root node. A root node is again an empty circle with one or more lines touching it, leading to all identifiers representing the same variable.…”

Section: Graph Representation Of Diagramsmentioning

confidence: 99%

Automatically generating environments for dynamic diagram languages

Minas

Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254)

View full text Add to dashboard Cite

show abstract

Programming with visual expressions

Cited by 27 publications

References 5 publications

Abstract Syntax and Semantics of Visual Languages

Abstract Syntax and Semantics of Visual Languages

Toward Spatio-Temporal Patterns

Automatically generating environments for dynamic diagram languages

Contact Info

Product

Resources

About