Jean-Luc Gu`erin and Paul Y. Gloess. GrafOLog: A Visual Language for a Logic with Objects. Journal of Visual Languages and Computing, 4:301--324, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Visual Syntax for Logic and Logic Programming - Agusti, Puigsegur, Robertson (1998) (1 citation) (Correct)
....(Skolem constants) In [6, 4] are found compelling arguments for the intuitions about the use of diagrams in formal reasoning and specially the introduction of heterogeneous reasoning. There exist numerous visual declarative programming languages: VLP [19] VPP [28] LOGraph [10, 11] GrafOLog [15], CUBE [26, 27] SPARCL [34, 35] VEX [8] and Pictorial Janus [18] being the most relevant ones. CUBE is the first visual language to use a three dimensional syntax and of more relevance from our point of view has static polymorphic typing. We think CUBE is an example to follow when ....
Jean-Luc Gu`erin and Paul Y. Gloess. GrafOLog: A Visual Language for a Logic with Objects. Journal of Visual Languages and Computing, 4:301--324, 1993.
Visual Logic Programming by means of Diagram Transformations - Puigsegur, Agustí (1998) (1 citation) (Correct)
....on its computational aspects. We want to focus on simple diagrams with a clear computational interpretation, avoiding as many logical symbols as possible. There exist other visual declarative programming languages like CUBE [12, 13] VEX [7] SPARCL [21, 22] VPP [14] VLP [11] and GrafOLog [8], but none of them uses sets, Venn Euler diagrams and graphical containment as its foundations. The graphical schemes representing conceptual models in [6] do not attempt a formal and systematic visual representation of deductive rules. However they are an inspiration for our future work. The ....
Jean-Luc Gu`erin and Paul Y. Gloess. GrafOLog: A Visual Language for a Logic with Objects. Journal of Visual Languages and Computing, 4:301--324, 1993.
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