Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation.

Douglas R. Skuce

Browse the full ICLP paper archive.