From Formulae to Rewriting Systems

Bottoni, P., Costabile, M.F., Levialdi, S., Mussio, P.: Visual Conditional Attributed Rewriting Systems in Visual Language Specification. In: Proc. IEEE Symp. on Visual Languages 1996, pp. 156–163 (1996)Google Scholar

Bottoni, P., Costabile, M.F., Levialdi, S., Mussio, P.: Specifying dialog control in Visual Interactive Systems. Journal of Visual Languages and Computing 9, 535–564 (1998)CrossRefGoogle Scholar

Bottoni, P., Costabile, M.F., Mussio, P.: Specification and Dialogue Control of Visual Interaction through Visual Rewriting Systems. To appear in ACM TOPLAS Google Scholar

Chok, S.S., Marriott, K.: Automatic Construction of User Interfaces from Constraint Multiset Grammars. In: Proc. IEEE VL 1995, pp. 242–249 (1995)Google Scholar

Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. Springer, Heidelberg (1985)Google Scholar

Große–Rhode, M., Parisi–Presicce, F., Simeoni, M.: Spatial and temporal refinement of typed graph transformation systems. In: Brim, L., Gruska, J., Zlatuška, J. (eds.) MFCS 1998. LNCS, vol. 1450, p. 553. Springer, Heidelberg (1998)CrossRefGoogle Scholar

Habel, A., Heckel, R., Taentzer, G.: Graphgram mars with negative application conditions. Fundamenta Informaticae 26, 287–313 (1996)MATHMathSciNetGoogle Scholar

Helm, R., Marriott, K.: A Declarative Specification and Semantics for Visual Languages. Journal of Visual Languages and Computing 2, 311–332 (1991)CrossRefGoogle Scholar

Löwe, M., Korff, M., Wagner, A.: An algebraic framework for the transformation of attributed graphs. In: Term Graph Rewriting: Theory and Practice, pp. 185–199. Wiley, Chichester (1993)Google Scholar

Minas, M., Viehstaedt, G.: DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams. In: Proc. IEEE Symp. on Visual Languages 1995, pp. 203–210 (1995) Google Scholar

Marriott, K., Meyer, B.: Classification of visual languages. Journal of Visual Languages and Computing 8, 375–402 (1997)CrossRefGoogle Scholar

Salomaa, A.: Formal languages. Academic Press, London (1973)MATHGoogle Scholar

Serrano, J.A.: The Use of Semantic Constraints on Diagram Editors. In: Proc. IEEE VL 1995, pp. 211–216 (1995) Google Scholar

Taentzer, G., Beyer, M.: Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol. 776. Springer, Heidelberg (1994)Google Scholar

Wittenburg, K., Weitzmann, L.: Visual grammars and incremental parsing for interface languages. In: Proc. IEEE VL 1990, pp. 111–118 (1990) Google Scholar