Partial Inversion of Constructor Term Rewriting Systems

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 genera...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Nishida, Naoki, Sakai, Masahiko, Sakabe, Toshiki
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Ground Term Language theory and syntactical analysis Logic Program Normal Form Partial Evaluation Theoretical computing Unknown Input
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!