Yoshinori Shigeta

Learn More
We have proposed a novel computation framework called Equivalent Transformation (ET). The ET framework is a rewriting system in which computation is executed by rewriting rules. Rewriting rules of the ET framework are called Equivalent Transformation Rules (ETRs). The theory of ET guarantees the correctness of the computation by ETRs. Multi-head ETRs which(More)
  • 1