Takashi Nagaya

Learn More
The evaluation strategy (abbr. the E-strategy) initiated by OBJ2 is one of compromises between outermost and innermost reduction strategies. Although rewriting with the E-strategy is intuitively easy-to-understand, the straightforward implementation cannot lead to ecient rewriting. Then, the implementations of OBJ3 and CafeOBJ use evaluated ags to implement(More)
Decidability/undecidability of properties in subclasses of conditional term rewriting systems (CTRSs, for short) of natural, join, and oriented types are studied. The properties focused are convertibility, reachability, joinability, con BLOCKINuence, and termination. In particular, it is shown that (1) all of the properties listed above are undecidable for(More)
  • 1