Next: Appendix: Semantics of
Up: No Title
Previous: Future Research
References
- 1
-
V. Haarslev,
``Formal Semantics of Visual Languages using Spatial Reasoning'',
In VL'95 [29], pp. 156--163.
- 2
-
K.M. Kahn and V.A. Saraswat,
``Complete Visualizations of Concurrent Programs and their
Executions'',
in 1990 IEEE Workshop on Visual Languages, Skokie, Illinois,
Oct. 4-6. Oct. 1990, pp. 7--14, IEEE Computer Society Press.
- 3
-
K.M. Kahn, V.A. Saraswat, and V. Haarslev,
``Pictorial Janus: A Completely Visual Programming
Language and its Environment (in German)'',
in GI-Fachgespräch Programmieren multimedialer Anwendungen
der GI-Jahrestagung 1991, Darmstadt, Oktober 1991, J. Encarnacao, Ed. 1991,
pp. 427--436, Springer Verlag, Berlin.
- 4
-
V. Haarslev,
``A Fully Formalized Theory for Describing Visual Notations'',
in International Workshop on the Theory of Visual Languages,
Gubbio, Italy, May 1996.
- 5
-
M. Wessel,
``Development of a concept-oriented Generic
Graphic Editor in Common Lisp (in German)'', Jan. 1996,
Studienarbeit.
- 6
-
E. Clementini, P. Di Felice, and P. van Oosterom,
``A Small Set of Formal Topological Relationships Suitable for
End-User Interaction'',
in Advances in Spatial Databases, Third International
Symposium, SSD'93, Singapore, June 23-25, 1993, D. Abel and B.C. Ooi, Eds.
June 1993, vol. 692 of Lecture Notes in Computer Science, pp. 277--295,
Springer Verlag, Berlin.
- 7
-
V. Haarslev,
``On Formal Semantics of Visual Notations'',
Technical Report , in preparation, 1996.
- 8
-
R.J. Brachman and J.G. Schmolze,
``An overview of the KL-ONE knowledge representation system'',
Cognitive Science, pp. 171--216, Aug. 1985.
- 9
-
R.J. Brachman, D.L. McGuinness, P.F. Patel-Schneider, L.A. Reswnick, and
A. Borgida,
``Living with Classic: When and How to Use a KL-ONE-like
Language'',
in Principles of Semantic Networks: Explorations in the
Representation of Knowledge, J.F. Sowa, Ed., San Mateo, California, 1991,
pp. 401--456, Morgan Kaufmann Publishers.
- 10
-
R.J. Brachman,
````Reducing'' CLASSIC to Practice: Knowledge Representation Theory
Meets Reality'',
in Principles of Knowledge Representation and Reasoning, Third
International Conference, Cambridge, Mass., Oct. 25-29, 1992, Oct. 1992,
pp. 247--258.
- 11
-
J.A. Serrano,
``The Use of Semantic Constraints on Diagram Editors'',
In VL'95 [29], pp. 211--216.
- 12
-
E.J. Golin,
``Parsing Visual Languages with Picture Layout Grammars'',
Journal of Visual Languages and Computing, vol. 2, no. 4, pp.
371--393, Dec. 1991.
- 13
-
G. Costagliola, M. Tomita, and S.K. Chang,
``A Generalized Parser for 2-D Languages'',
in 1991 IEEE Workshop on Visual Languages, Kobe, Japan, Oct.
8-11. Oct. 1991, pp. 98--104, IEEE Computer Society Press.
- 14
-
H. Göttler,
``Graph Grammars, a new Paradigm for Implementing Visual
Languages'',
in Rewriting Techniques and Applications, 3rd International
Conference, RTA-89, 3-5 April 1989, Chapel Hill, NC. Apr. 1989, pp.
152--166, Springer Verlag, Berlin.
- 15
-
M.A. Najork and S.M. Kaplan,
``Specifying Visual Languages with Conditional Set Rewrite
Systems'',
in 1993 IEEE Symposium on Visual Languages, Bergen, Norway,
Aug. 24-27. Aug. 1993, pp. 12--17, IEEE Computer Society Press.
- 16
-
J. Rekers and A. Schürr,
``A Graph Grammar Approach to Graphical Parsing'',
In VL'95 [29], pp. 195--202.
- 17
-
S.M. Üsküdarli,
``Generating Visual Language Editors for Formally Specified
Languages'',
In VL'94 [30], pp. 278--285.
- 18
-
D. Wang, J.R. Lee, and H. Zeevat,
``Reasoning with Diagrammatic Representations'',
in Diagrammatic Reasoning: Cognitive and Computational
Perspectives, J. Glasgow, N.H. Narayanan, and B. Chandrasekaran, Eds., pp.
339--393. AAAI Press / The MIT Press, Menlo Park, California, 1995.
- 19
-
C. Crimi, A. Guercio, G. Nota, G. Pacini, G. Tortora, and M. Tucci,
``Relation Grammars and their Application to Multi-dimensional
Languages'',
Journal of Visual Languages and Computing, vol. 2, no. 4, pp.
333--346, Dec. 1991.
- 20
-
R. Helm and K. Marriott,
``A Declarative Specification and Semantics for Visual Languages'',
Journal of Visual Languages and Computing, vol. 2, no. 4, pp.
311--331, Dec. 1991.
- 21
-
B. Meyer,
``Pictures Depicting Pictures: On the Specification of Visual
Languages by Visual Grammars'',
in 1992 IEEE Workshop on Visual Languages, Seattle, Washington,
Sept. 15-18. Sept. 1992, pp. 41--47, IEEE Computer Society Press.
- 22
-
K. Wittenburg, L. Weitzman, and J. Talley,
``Unification-based Grammars and Tabular Parsing for Graphical
Languages'',
Journal of Visual Languages and Computing, vol. 2, no. 4, pp.
347--370, Dec. 1991.
- 23
-
K. Wittenburg,
``Adventures in Multi-dimensional Parsing: Cycles and Disorders'',
in 1993 International Workshop on Parsing Technologies,
Tilburg, Netherlands and Durbuy, Belgium, Aug. 8-10, Aug. 1993.
- 24
-
K. Marriott,
``Constraint Multiset Grammars'',
In VL'94 [30], pp. 118--125.
- 25
-
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.
- 26
-
J.D. McWhirter and G.J. Nutt,
``Escalante: An Environment for the Rapid Construction of Visual
Language Applications'',
In VL'94 [30], pp. 15--22.
- 27
-
M. Minas and G. Viehstaedt,
``DiaGen: A Generator for Diagram Editors Providing Direct
Manipulation and Execution of Diagrams'',
In VL'95 [29], pp. 203--210.
- 28
-
S.S. Chok and K. Marriott,
``Automatic Construction of User Interfaces from Constraint Multiset
Grammars'',
In VL'95 [29], pp. 242--249.
- 29
-
1995 IEEE Symposium on Visual Languages, Darmstadt, Germany, Sep. 5-9.
IEEE Computer Society Press, Sept. 1995.
- 30
-
1994 IEEE Symposium on Visual Languages, St. Louis, Missouri, Oct. 4-7.
IEEE Computer Society Press, Oct. 1994.
Volker Haarslev
Fri May 24 16:33:47 MET DST 1996