TRAM: An Abstract Machine for Order-Sorted Conditional Term Rewriting Systems (abstract)

Kazuhiro Ogata and Kokichi Futatsugi

TRAM (Term Rewriting Abstract Machine) is an abstract machine for order-sorted conditional term rewriting systems (OSCTRSs). The OSCTRSs can serve as a general computation model for advanced algebraic specification languages such as OBJ or CafeOBJ.

Back to CafeOBJ Home Page