AUTOMATIC PROGRAM GENERATION
USING A COMPUTER ALGEBRA SYSTEM
EFFICIENCY AND CORRECTNESS
by
Gaston H. Gonnet
Informatik ETH Zürich
ACAT2000, Batavia Il, Oct. 16, 2000
Abstract
