Skip to main content
SpringerLink
Log in
Book cover

International Conference on Rewriting Techniques and Applications

RTA 1997: Rewriting Techniques and Applications pp 335–338Cite as

TRAM: An abstract machine for order-sorted conditional term rewriting systems

  • Conference paper
  • First Online:

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

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. Aït-Kaci, H.: Warren's Abstract Machine. A Tutorial Reconstruction. The MIT Press. 1991

    Google Scholar 

  2. Christian, J.: Flatterms, Discrimination Nets, and Fast Term Rewriting. Journal of Automated Reasoning. 10 (1993) 95–113

    MathSciNet  Google Scholar 

  3. Futatsugi, K., Goguen, J. A., Jouannaund, J. P. and Meseguer, H.: Principles of OBJ2. Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, pp. 52–66, 1984.

    Google Scholar 

  4. Futatsugi, K. and Sawada, M.: Cafe as an Extensible Specification Environment. Proceedings of the Kunming International CASE Symposium. 1994

    Google Scholar 

  5. Kirchner, C. Kirchner, H. and Meseguer, J.: Operational Semantics of OBJ-3. Proceeding of the 15th International Colloquium on Automata, Languages and Programming. LNCS 317 Springer-Verlag. (1988) 287–301

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. JAIST, Japan

    Kazuhiro Ogata & Kokichi Futatsugi

  2. Sharp Corp., Japan

    Koichi Ohhara

Authors
  1. Kazuhiro Ogata
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Koichi Ohhara
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kokichi Futatsugi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hubert Comon

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ogata, K., Ohhara, K., Futatsugi, K. (1997). TRAM: An abstract machine for order-sorted conditional term rewriting systems. In: Comon, H. (eds) Rewriting Techniques and Applications. RTA 1997. Lecture Notes in Computer Science, vol 1232. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62950-5_84

Download citation

  • DOI: https://doi.org/10.1007/3-540-62950-5_84

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62950-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation