Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Rewriting Techniques and Applications (RTA 1997)

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

Included in the following conference series:

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. 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