Practical Software Synthesis
Dorothy E. Setliff, Elaine Kant, Tom Cain · IEEE Software · 1993
• Algorithm template language (independent from dimensions, equations, data structures/stencils) • Generic specification of scientific computations • Coordinate transforms, discretizations • Sensitivity and error calculations • Algorithm elaboration and optimization • Program generation and optimization • Comments generated to aid human understanding • Symbolic simplification of general data representations and control constructs Specification