Objects represent application-specific, mathematical and programming constructs. Algorithms are represented by special templates that abstract away all the equation-specific data structures and program optimization details. Guided by a planning mechanism that automatically applies the transformation rules, SciNapse uses constraints and heuristic rules to make any design decisions not indicated in the specification and to warn the user about conflicting specification statements. The transformations produce a series of increasingly detailed internal representation levels that roughly parallel best-practice mathematical modeling methods. The power of the SciNapse synthesis engine is derived from its careful integration of computer algebra with program transformation and object-based representation of mathematical concepts.
Objects represent application-specific mathematical and programming constructs.
Algorithms are represented by special templates that abstract away all the equation-specific data structures and program optimization details. The transformations produce a series of increasingly detailed internal representation levels that roughly parallel best-practice mathematical modeling methods. Guided by a planning mechanism that automatically applies the transformation rules, SciNapse uses constraints and heuristic rules to make any design decisions not indicated in the specification and to warn the user about conflicting specification statements.