Abstract
The specification of languages used for generating programming environments for these languages has been investigated with various formalisms. In the case of visual languages, the support provided for the interactive aspects of the tools within such environments is very important because the apparent consistency of visual presentations determines the correct comprehension of visual notation. In this work we examine two interactive aspects of visual languages: (1) the presentation of abstract terms (thepretty-printingof terms) and (2) input and output during execution(dynamicinput and output). To address the pretty-printing problem we introduce some heuristic rules that maintain two types of information:ShareandWhere.These rules track whether a symbol is shared among different syntactic constructs and where it was originally created. The technique called Share-Where maintenance automatically assigns and propagates annotations to abstract syntax nodes with this information. These annotations are used for pretty-printing terms in a manner that attempts to preserve the appearance of similar parts that exist both in the initial and in the final term. To address the dynamic input and output with visual terms, we define an extension to the formalism for querying for external (visual) input which is used during further rewriting. We use the visual algebraic specification formalism VAS in examining these issues and describe the developed methods by means of a finite-state automata example.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.A. Bergstra and J.W. Klop. Conditional rewrite rules: Confluence and termination.Journal of Computer and System Sciences32:323–362, 1986.
Y. Bertot. A canonical calculus of residuals. In G. Huet and G. Plotkin, editorsLogical Environmentspages 140–163. Cambridge University Press, Cambridge, 1993.
A. van Deursen, J. Heering, and P. Klint, editors.Language Prototyping: An Algebraic Specification Approachvolume 5 ofAMAST Series in Computing.World Scientific Publishing Co., Singapore, 1996.
S. Peyton Jones and P. Wadler. Imperative functional programming.Proceedings of 20th ACM Symposium on Principles of Programming Languagespages 71–84, January 1993.
P. Klint. A meta-environment for generating programming environments.ACM Transactions on Software Engineering and Methodology2:176–201, 1993.
J.W. Klop. Term rewriting systems. In S. Abramsky, D. Gabbay, and T.S.E. Maibaum, editorsHandbook of Logic in Computer Science volume 2pages 1–116. Oxford University Press, Oxford, 1992.
K. Marriott and B. Meyer. The CCMG visual language hierarchy. Chapter 4, Inthis volume.
R. Plasmeijer and M. van Eekelen.Functional Programming and Parallel Graph Rewriting.Addison Wesley, Wokingham, 1993.
A. Schürr, A. Zündorf, and A. Winter. Visual programming with graph rewriting systems. InVL’95–11th International Symposium on Visual Languages Darmstadt Germany.IEEE Computer Society, Los Alamitos, September 1995.
S. Usküdarh. Generating visual editors for formally specified languages. In A.L. Ambler and T.D. Kimura, editorsProceedings of the 1994 IEEE Symposium on Visual Languages (VL ‘84) St. Louis Missouripages 278–287. IEEE Computer Society, Los Alamitos, October 1994.
S. Üsküdarh and T.B. Dinesh. Towards a visual programming environment generator for algebraic specifications. InVL’95–11th International Symposium on Visual Languages Darmstad Germany.IEEE Computer Society, Los Alamitos, September 1995.
S. Üsküdarh and T.B. Dinesh. VAS Formalism in VASE. InVL’9612th International Symposium on Visual Languages Boulder Colorado.IEEE Computer Society, Los Alamitos, September 1996.
S. M. Usküdarh.Algebraic Specification of Visual Languages.PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, March 1997.
H.R. Walters and J.F.Th. Kamperman. A model for I/O in equational languages with don’t care non-determinism. InRecent trends in data type specification: 11th workshop on specification of abstract data types joint with the 8th COMPASS workshop: Oslo Norway 19–23.09.1995: selected papersvolume 1130 ofLecture Notes in Computer Sciencepages 522–534. Springer-Verlag, New York, 1996.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Dinesh, T.B., Üsküdarli, S. (1998). Input and Output for Specified Visual Languages. In: Marriott, K., Meyer, B. (eds) Visual Language Theory. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-1676-6_12
Download citation
DOI: https://doi.org/10.1007/978-1-4612-1676-6_12
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-7240-3
Online ISBN: 978-1-4612-1676-6
eBook Packages: Springer Book Archive