Improving Determinization of Grammar Programs for Program Inversion

Minami Niwa, Naoki Nishida 0001, Masahiko Sakai. Improving Determinization of Grammar Programs for Program Inversion. In Elvira Albert, editor, Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Volume 7844 of Lecture Notes in Computer Science, pages 155-175, Springer, 2012. [doi]

Authors

Minami Niwa

This author has not been identified. Look up 'Minami Niwa' in Google

Naoki Nishida 0001

This author has not been identified. Look up 'Naoki Nishida 0001' in Google

Masahiko Sakai

This author has not been identified. Look up 'Masahiko Sakai' in Google