Masahiko Kawabe

According to our database, Masahiko Kawabe authored at least 6 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Revisiting an automatic program inverter for Lisp.

Robert Glück, Masahiko Kawabe

ACM SIGPLAN Notices, 2005

A Method for Automatic Program Inversion Based on LR(0) Parsing.

Robert Glück, Masahiko Kawabe

Fundam. Informaticae, 2005

The Program Inverter LRinv and Its Structure.

Masahiko Kawabe, Robert Glück

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2004

Derivation of Deterministic Inverse Programs Based on LR Parsing.

Robert Glück, Masahiko Kawabe

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

A Program Inverter for a Functional Language with Equality and Constructors.

Robert Glück, Masahiko Kawabe

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

An Automatic Program Inverter for Lisp: Potential and Limitations.

Robert Glück, Masahiko Kawabe

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002