Synthesis of rewrite programs by higher-
β
Masami Hagiya
π
Article
π
1991
π
Springer
π
English
β 853 KB