G. Kutty, L. Dillon, L. Moser, P. Melliar-Smith, and Y. Ramakrishna, Visual tools for temporal reasoning, IEEE Symp. Vis. Lang., Bergen, Norway, 152-159, Aug 1993.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....behavior (e.g. 7,10] many VPLs have not explicitly supported programming of temporal behavior. Some early VL work regarding temporal aspects of software was done to support temporal logic in program specifications. The earliest such VL approach is probably GIL (Graphical Interval Logic) [15]. GIL is a visual temporal logic for reasoning about the temporal properties of programs. It is a high level, proof oriented approach aimed primarily at visual specification and subsequent comparison to a (separate) program s properties. While there is also a tool supporting generation of a model ....

G. Kutty, L. Dillon, L. Moser, P. Melliar-Smith, and Y. Ramakrishna, Visual tools for temporal reasoning, IEEE Symp. Vis. Lang., Bergen, Norway, 152-159, Aug 1993.

....state of the art of programming language semantics, applying it to this particular domain, without reinventing rotating wheels, as it were. Additionally, the visual language community has been engaged in trying to formalize image related descriptions and behaviour for some time (most recently e.g. [9,10,12,18,19]) lessons can be drawn from that experience. A third source of inspiration is mathematics, and the ways that mathematicians have tried to lay a solid foundation for that subject: programming languages can be characterized as notations for describing particular kinds of mathematical relationships, ....

G Kutty et al, Visual Tools for Temporal Reasoning, in: Proc IEEE VL93, Bergen, Norway (IEEE CS Press, Los Alamitos Cal, 1993) 152-159.

.... state(S2) state(S1) The visual representations for the first two of these are fairly straightforward: stack(spec) Push Pop emptystack Top stack(spec) Push Pop Top The third, involving states over time, might invoke a time line notation (there are a number of possibilities; one such is [5]) This can lead to badly mixed notations; a direct combining of events and states on a time line, along the lines of stack(spec) Push Pop Top Push Pop . is attractive, but leads to problems when describing the syntax consistently. These may be resolved (e.g. by explicitly defining them as ....

G Kutty et al., Visual Tools for Temporal Reasoning, in: Proc IEEE VL93, Bergen (IEEE CS Press, Los Alamitos Cal, 1993) 152-159.

....structures of considerable complexity. 4 Temporal Spaces The value of the relational approach outlined above can be illustrated by applying it to the domain of temporal logic programming. There are a wide variety of different temporal logics (e.g. 1,2,8] and ways of describing them (e.g. [3,4,5,10,11]) despite work in combining such logics (e.g. 6] it does not seem easy to compose program components in the traditional way. The following offers a naive view of how heterogeneous temporal structures can be constructed; it is meant primarily for illustrative purposes. The simplest model of ....

G Kutty et al, Visual Tools for Temporal Reasoning, in: Proc IEEE VL93, Bergen, Norway (IEEE CS Press, Los Alamitos Cal, 1993) 152159.

....and readers to use operational intuitions. In contrast, functional reasoning starts at the end and works backwards. Furthermore, lazy and eager evaluation strategies yield different results; this ambiguity is less important in dataflow. Reasoning about the temporal properties of programs [4,5,7,8] seems easier with dataflow; guards appear earlier, so less effort is needed in deciding which branches need to be pruned off where. It is less important to have to know about the semantics of components (e.g. strictness properties) This is especially important when there are connections between ....

G Kutty et al, Visual Tools for Temporal Reasoning, in: Proc IEEE VL93, Bergen, Norway (IEEE CS Press, Los Alamitos Cal, 1993) 152-159.

....of programming language semantics, applying it to this particular domain, without reinventing rotating wheels, as it were. Another observation is that the visual language community has been engaged in trying to formalize image related descriptions and behaviour for some time (most recently e.g. [9,10,12,18,19]) and that lessons can be drawn from that experience. A third place to look for inspiration is directly to mathematics, and the ways that mathematicians have tried to lay a solid foundation for that subject; after all, programming languages can be characterized as notations for describing ....

G Kutty et al, Visual Tools for Temporal Reasoning, in: Proc IEEE VL93, Bergen, Norway (IEEE CS Press, Los Alamitos Cal, 1993) 152-159.

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