Partial Inversion of Constructor Term Rewriting Systems

Abstract. Partial-inversion compilers generate programs which compute some unknown inputs of given programs from a given output and the rest of inputs whose values are already given. In this paper, we propose a partial-inversion compiler of constructor term rewriting systems. The compiler automatically generates a conditional term rewriting system, and then unravels it to an unconditional system. To improve the efficiency of inverse computation, we show that innermost strategy is usable to obtain all solutions if the generated system is right-linear.

• Type: Conference
• Year: 2005
• Where: RTA
• Authors: Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
• Keywords: Compilers Generate Programs, Partial-inversion Compiler, RTA 2005, Term Rewriting System, Theoretical Computer Science