Practical Software Synthesis

Abstract

• 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