An automatic program inverter for Lisp : potential and limitations

収録刊行物

• Proc. Third Asian Workshop on Programming Languages and Systems (APLAS02)

  Proc. Third Asian Workshop on Programming Languages and Systems (APLAS02) 230-245, 2002

  Shanghai Jiao Tong University, Dept. of Computer Science and Engineering