Skip to main content
SpringerLink
Log in

TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems

  • Conference
  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1996)

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

  • 149 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Huet, G., “Confluent Reductions:Abstract Properties and Applications to Term Rewriting Systems”, J.ACM, Vol.27, No.4, pp797–821 (1980).

    Google Scholar 

  2. Dershowitz, N., “Termination of Rewriting”, J. Symbolic Computation, Vol.3, pp69–116 (1989).

    Google Scholar 

  3. Matthews,B.: MERILL: An Equational Reasoning System in Standard ML, Rewriting Techniques and Applications, Lecture Notes in Computer Science, No. 690, pp. 441–445(1993).

    Google Scholar 

  4. Bundgen,R., Reduce the Redex → ReDuX, Rewriting Techniques and Applications, Lecture Notes in Computer Science, No. 690, pp. 446–450(1993).

    Google Scholar 

  5. Reppy,J.H., “CML: A higer-order concurrent language”, In Proceedings of the ACM SIGPLAN'91 on PLDI, pp293–305 (1991).

    Google Scholar 

  6. Reppy,J.H., Gansner,E.R., “The eXene Library Manual(Version 0.4)”, AT&T Bell Laboratories (1993).

    Google Scholar 

  7. Kawaguchi,N., Sakabe,T. and Inagaki,Y., “TERSE: TErm Rewriting Support Environment”, Proceedings of the 1994 ACM. SIGPLAN Workshop on Standard ML and its Applications, pp91–100 (1994).

    Google Scholar 

  8. Kawaguchi,N., Sakabe,T. and Inagaki,Y.,“Visual Support Methods for Analysis, Verification and Transformation of Term Rewriting Systems”, ISSST Computer Software, Vol.13, No. 1, pp.23–36 (1996). (In Japanese)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Engineering, Nagoya University, Furo-cho, Chikusa-ku, 464-01, Nagoya, Japan

    Nobuo Kawaguchi, Toshiki Sakabe & Yasuyoshi Inagaki

Authors
  1. Nobuo Kawaguchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Toshiki Sakabe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yasuyoshi Inagaki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kawaguchi, N., Sakabe, T., Inagaki, Y. (1996). TERSE: A visual environment for supporting analysis, verification and transformation of term rewriting systems. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014344

Download citation

  • DOI: https://doi.org/10.1007/BFb0014344

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61463-0

  • Online ISBN: 978-3-540-68595-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation