TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems

Authors:
Kazuhiro Ogata;Koichi Ohhara;Kokichi Futatsugi
Affiliations:
-;-;-
Venue:
RTA '97 Proceedings of the 8th International Conference on Rewriting Techniques and Applications
Year:
1997

Citing 0
Cited 3

Optimizing term rewriting using discrimination nets with specialization

Proceedings of the 1999 ACM symposium on Applied computing
Rewriting logic: roadmap and bibliography

Theoretical Computer Science - Rewriting logic and its applications
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract