Skip to main content
SpringerLink
Log in
Book cover

Annual Asian Computing Science Conference

ASIAN 1997: Advances in Computing Science — ASIAN'97 pp 297–311Cite as

Share-where maintenance in visual algebraic specifications

  • Session 7
  • Conference paper
  • First Online:

  • 135 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1345))

Abstract

Algebraic specifications whose signatures (abstract-syntax) have a mapping to pictures (two-dimensional concrete syntax) along with equations which are defined in terms of these pictures are introduced as visual algebraic specifications. The visual signatures are specified using visual lexicals which may be user-defined. The semantic rules are a set of equations which are defined using the language's own syntax. Signatures, semantic rules, and terms (programs) are all defined with interactive editors. The usual notion of term construction in an editor is extended by allowing subterm sharing which is necessary for two-dimensional representations. As is usual for algebraic specifications, we use term rewriting to provide a prototyping environment for these visual algebraic specifications. This work addresses the problem of presenting output terms after rewriting (visual pretty printing). We introduce a technique called “Share-Where Maintenance” which is used to preserve layout information and demonstrate its use as well as its limitations.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Y. Bertot. A canonical calculus of residuals. In G. Huet and G. Plotkin, editors, Logical Environments. Cambridge University Press, 1993.

    Google Scholar 

  2. M. G. J. van den Brand and E. Visser. Generation of formatters for context-free languages. ACM Transactions on Software Engineering and Methodology, 5(1):1–41, January 1996.

    Article  Google Scholar 

  3. A. van Deursen, J. Heering, and P. Klint. Language Prototyping. An Algebraic Specification Approach. AMAST series in Computing. World Scientific, 1996.

    Google Scholar 

  4. J. Field and F. Tip. Dynamic dependence in term rewriting systems and its application to program slicing. In M. Hermenegildo and J. Penjam, editors, Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming, volume 844 of Lecture Notes in Computer Science, pages 415–431. Springer-Verlag, 1994.

    Google Scholar 

  5. J. A. Goguen, J. W. Thatcher, and E. G. Wagner. Abstract data types as initial algebras and correctness of data representation. In Proc. Conference on Computer Graphics Pattern Recognition and Data Structure, pages 89–93, 1975.

    Google Scholar 

  6. J. V. Guttag and J. J. Horning, editors. Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer-Verlag, 1993. With S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing.

    Google Scholar 

  7. P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2(2):176–201, 1993.

    Article  Google Scholar 

  8. J.W. Klop. Term rewriting systems. Technical Report Report CS-R9073, CWI, Amsterdam, 1990.

    Google Scholar 

  9. K. Marriott and B. Meyer. Towards a hierarchy of visual languages. In Workshop on Theory of Visual Languages, May 1996.

    Google Scholar 

  10. A. Schürr, A. Zündorf, and A. Winter. Visual programming with graph rewriting systems. In Proc. 1995 IEEE Symposium Visual Languages, September 1995.

    Google Scholar 

  11. S. M. Usküdarh. Generating visual editors for formally specified languages. In Proc. 1994 IEEE Symposium Visual Languages, pages 278–285, St. Louis, Illinois, October 1994.

    Google Scholar 

  12. S. M. Usküdarh. Algebraic Specification of Visual Languages. PhD thesis, University of Amsterdam, March 1997.

    Google Scholar 

  13. S. M. Usküdarh and T. B. Dinesh. Towards a visual programming environment generator for algebraic specifications. In Proc. 1995 IEEE Symposium Visual Languages, September 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CWI, P.O. Box 94079, 1090, GB Amsterdam, The Netherlands

    T. B. Dinesh

  2. Philips Research Palo Alto, 1070 Arastradero Road, 94304-1336, Palo Alto, CA, USA

    Susan M. Üsküdarh

  3. WINS, University of Amsterdam, The Netherlands

    Susan M. Üsküdarh

Authors
  1. T. B. Dinesh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Susan M. Üsküdarh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

R. K. Shyamasundar K. Ueda

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dinesh, T.B., Üsküdarh, S.M. (1997). Share-where maintenance in visual algebraic specifications. In: Shyamasundar, R.K., Ueda, K. (eds) Advances in Computing Science — ASIAN'97. ASIAN 1997. Lecture Notes in Computer Science, vol 1345. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63875-X_60

Download citation

  • DOI: https://doi.org/10.1007/3-540-63875-X_60

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63875-9

  • Online ISBN: 978-3-540-69658-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation