next up previous
Next: Appendix: Semantics of Up: No Title Previous: Future Research


V. Haarslev, ``Formal Semantics of Visual Languages using Spatial Reasoning'', In VL'95 [29], pp. 156--163.

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.

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.

V. Haarslev, ``A Fully Formalized Theory for Describing Visual Notations'', in International Workshop on the Theory of Visual Languages, Gubbio, Italy, May 1996.

M. Wessel, ``Development of a concept-oriented Generic Graphic Editor in Common Lisp (in German)'', Jan. 1996, Studienarbeit.

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.

V. Haarslev, ``On Formal Semantics of Visual Notations'', Technical Report , in preparation, 1996.

R.J. Brachman and J.G. Schmolze, ``An overview of the KL-ONE knowledge representation system'', Cognitive Science, pp. 171--216, Aug. 1985.

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.

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.

J.A. Serrano, ``The Use of Semantic Constraints on Diagram Editors'', In VL'95 [29], pp. 211--216.

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.

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.

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.

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.

J. Rekers and A. Schürr, ``A Graph Grammar Approach to Graphical Parsing'', In VL'95 [29], pp. 195--202.

S.M. Üsküdarli, ``Generating Visual Language Editors for Formally Specified Languages'', In VL'94 [30], pp. 278--285.

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.

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.

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.

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.

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.

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.

K. Marriott, ``Constraint Multiset Grammars'', In VL'94 [30], pp. 118--125.

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.

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.

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.

S.S. Chok and K. Marriott, ``Automatic Construction of User Interfaces from Constraint Multiset Grammars'', In VL'95 [29], pp. 242--249.

1995 IEEE Symposium on Visual Languages, Darmstadt, Germany, Sep. 5-9. IEEE Computer Society Press, Sept. 1995.

1994 IEEE Symposium on Visual Languages, St. Louis, Missouri, Oct. 4-7. IEEE Computer Society Press, Oct. 1994.

Volker Haarslev
Fri May 24 16:47:01 MET DST 1996