Cohn, A. G. and Gooday, J. M.: 1994, Defining the syntax and the semantics of a visual programming language in a spatial logic, in F. D. Anger and R. Loganantharaj (eds), Proceedings of AAAI-94 Spatial and Temporal Reasoning Workshop. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Fully Formalized Theory for Describing Visual Notations.. - Haarslev (1996) (9 citations) (Correct)
....Marriott s recent approach is based on these ideas but utilizes constraint multiset grammars [30] An advantage of our approach is the taxonomic hierarchy of concept definitions and the capabilities to reason about these specifications and their subsumption relationships. Cohn and Gooday [31] applied the RCC theory to the VL domain and also developed formal semantics for Pictorial Janus. However, their specifications still rely on full predicate logic and cannot gain from the advantages of our DL approach. As far as we know, they currently do not support graphical construction of ....
A.G. Cohn and J.M. Gooday, "Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic", in AAAI-94, Spatial and Temporal Reasoning Workshop, 1994, Preprint.
A Completely Visual Language for Object-oriented Programming - Citrin, al. (Correct)
....visual programming languages based on graphical transformations. This class of languages includes VIPR, but it also includes other languages including Pictorial Janus [14] and ChemTrains [1] Although there have been a few attempts to formally specify the semantics of visual programming languages [2, 3, 11, 13], most of these were attempts to define static semantics, and all were textual approaches. Our scheme [7] itself uses graphics to define graphical transformations. We believe that this makes specifications easier to create and to understand, and also better captures the designer s intent, since ....
Cohn, A. G. and J. M. Gooday, "Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic," in AAAI-94, Spatial and Temporal Reasoning Workshop. 1994.
GenEd - An Editor with Generic Semantics for Formal.. - Haarslev, Wessel (1996) (6 citations) (Correct)
.... of attributed grammars (e.g. picture layout grammars [12] positional grammars (e.g. 13] graph grammars (e.g. 14, 15, 16] and algebraic or type theoretic formalisms (e.g. 17, 18] Other work closely related to our approach uses (constraint) logic or relational formalisms (e.g. [19, 20, 21, 22, 23, 24, 25]) for representing spatial relationships. A more detailed review of closely related work on VL theory can be found in [4] GenEd s philosophy of a free form general purpose editor supported by (incremental) visual parsing is in contrast to the following two approaches. Escalante [26] is an ....
A.G. Cohn and J.M. Gooday, "Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic", in AAAI-94, Spatial and Temporal Reasoning Workshop, 1994, Preprint.
A Connection Based Approach to Commonsense Topological.. - Gotts, Gooday, Cohn (1995) (23 citations) Self-citation (Cohn Gooday) (Correct)
.... This approach, known as RCC ( Region Connection Calculus ) theory, has been under development for several years at the 1 University of Leeds (Randell, Cui and Cohn 1992, Cui, Cohn and Randell 1992b, Cohn, Randell, Cui and Bennett 1993, Cui, Cohn and Randell 1993, Bennett 1994, Gotts 1994, Cohn and Gooday 1994) 1 . The main rationale for this project is that qualitative descriptions of spatial properties and relationships, and qualitative spatial reasoning, are of fundamental importance in human thinking about the world: even where quantitative spatial data are most important (as for example in ....
....impossible. The main reason for this omission is that standard first order logic, the usual tool for specifying programming language semantics, is not well suited to visual languages as it does not naturally capture their spatial dimension. RCC, on the other hand, is ideal for this task. In (Cohn and Gooday 1994) we showed how RCC could provide a formal description of the syntax and semantics of Pictorial Janus (Saraswat, Kahn and Levy 1990) Using continuity networks we were able to give a full account of the procedural semantics of the language and it is planned to use this in conjunction with QSSIM to ....
[Article contains additional citation context not shown here]
Cohn, A. G. and Gooday, J. M.: 1994, Defining the syntax and the semantics of a visual programming language in a spatial logic, in F. D. Anger and R. Loganantharaj (eds), Proceedings of AAAI-94 Spatial and Temporal Reasoning Workshop.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC