Interactive System for Structured Program Production.

H. Maezawa, M. Kobayashi, K. Saito, Y. Futamura

Browse the full ICSE paper archive.