Specification of an algorithm design system.

James TenEyck, G. Sampath, Richard Goldstone

Browse the full ITiCSE paper archive.