Partial Inversion of Constructor Term Rewriting Systems

Access this Article

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.

Journal

  • 16th International Conference on Term Rewriting and Applications

    16th International Conference on Term Rewriting and Applications, 264-278, 2005-04

    Springer

Codes

  • NII Article ID (NAID)
    120000975766
  • Text Lang
    ENG
  • Article Type
    journal article
  • Data Source
    IR 
Page Top