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)
The E-strategy is the evaluation strategy which is adopted by OBJ2, OBJ3, and CafeOBJ. OBJ2, OBJ3, and CafeOBJ also adopt the reduction with the E-strategy with marks. In this paper, we show the result of the reduction with marks coincides with the result of the reduction without marks if the E-strategies satisfy the conditions that the E-strategy list do(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