Abstract syntax and semantics of visual languages

Journal of Visual Languages and Computing

Volumn 9, Issue 5, 1998, Pages 461-483

  Erwig, Martin ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032186456     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1998.0098     Document Type: Article

References (21)

1. 1. P. D. Mosses (1990) Denotational semantics. In: Handbook of Theoretical Computer Science, Vol. B (J. van Leeuwen, ed.). Elsevier, Amsterdam, pp. 575-631.
2. 2. M. Erwig & B. Meyer (1995) Heterogeneous visual languages - integrating visual and textual programming. IEEE Symposium on Visual Languages, Darmstadt, Germany, pp. 318-325.
3. 3. M. Erwig (1997) Abstract visual syntax. Proceeding of the 2nd IEEE International Workshop on Theory of Visual Languages, Capri, Italy, pp. 15-25.
4. 4. M. Erwig (1997) Functional programming with graphs. Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming, Amsterdam, The Netherlands, pp. 52-65.
5. 5. M. Erwig (1998) Visual semantics - or: what you see is what you compute. IEEE Symposium on Visual Languages, Halifax, Nova Scotia (to appear).
6. 6. L. Euler (1986) Briefe an eine deutsche Prinzessin. Vieweg, Germany.
7. 7. S.-J. Shin (1994) The Logical Status of Diagrams. Cambridge University Press, New York, 197pp.
8. 8. W. Citrin, R. Hall & B. Zorn (1995) Programming with Visual Expressions. IEEE Symposium on Visual Languages, Darmstadt, Germany, pp. 294-301.
9. 9. M. Erwig (1996) Active patterns. Proceeding of the 8th International Workshop on Implementation of Functional Languages, Bonn, Germany, Lecture Notes in Computer Science, Vol. 1268. Springer, Berlin, pp. 21-40.
10. 10. H. P. Barendregt (1981) The Lambda Calculus - Its Syntax and Semantics. North-Holland, Amsterdam, 615pp.
11. 11. T. D. Kimura, J. W. Choi & J. M. Mack (1990) Show and tell: a visual programming language. In: Visual Programming Environments (E. P. Glinert, ed.) IEEE Computer Science Press, Los Alamitos/CA, pp. 397-404.
12. 12. T. D. Kimura (1986) Determinacy of hierarchical dataflow model. Report WUCS-86-5, Washington University, St. Louis.
13. 13. K. Marriott, B. Meyer & K. Wittenburg (1996) A survey of visual language specification and recognition. Workshop on Theory of Visual Languages, Boulder, CO.
14. 14. M. Andries, G. Engels & J. Rekers (1996) How to represent a visual program? Workshop on Theory of Visual Languages, Boulder, CO.
15. 15. J. Rekers & A. Schürr (1995) A graph grammar approach to graphical parsing. IEEE Symposium on Visual Lansuags. Darmstadt, Germany, pp. 195-202.
16. 16. J. Rekers & A. Schürr (1996) A graph based framework for the implementation of visual environments. IEEE Symposium on Visual Languages, Boulder, CO.
17. 17. D. Wang & J. R. Lee (1993) Visual reasoning its formal semantics and applications. Journal of Visual Languages and Computing 4, 327-356.
18. 18. P. Bottoni, M. F. Costabile, S. Levialdi & P. Mussio (1995) Formalising visual languages. IEEE Symposium on Visual Languages, Darmstadt, Germany, pp. 45-52.
19. 19. R. Helm & K. Marriott (1991) A declarative specification and semantics for visual languages. Journal of Visual Languages and Computing 2, 311-331.
20. 20. D. Harel (1988) On visual formalisms. Communications of the ACM 31, 514-530.
21. 21. B. Courcelle (1990) Graph rewriting: an algebraic and logic approach In: Handbook of Theoretical Computer Science, Vol. B (J. van Leeuwen, ed.). Elsevier, Amsterdam, pp. 193-242.