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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Nishida, N., Sakai, M., & Sakabe, T. (2005). Partial inversion of constructor term rewriting systems. In Lecture Notes in Computer Science (Vol. 3467, pp. 264–278). Springer Verlag. https://doi.org/10.1007/978-3-540-32033-3_20
Mendeley helps you to discover research relevant for your work.