Synthesis of Mathematical-Modeling Software

Authors:
Elaine Kant
Affiliations:
-
Venue:
IEEE Software
Year:
1993

Citing 4
Cited 14

Research on Knowledge-Based Software Environments at Kestrel Institute

IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
On the efficient synthesis of efficient programs

Readings in artificial intelligence and software engineering
Mathematica: a system for doing mathematics by computer

Mathematica: a system for doing mathematics by computer
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development

IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development

GENTRAN 90: a REDUCE package for the generation of Fortran 90 code

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Generating parallel code from object oriented mathematical models

PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
Automatic generation of optimization code based on symbolic non-linear domain formulation

ISSAC '96 Proceedings of the 1996 international symposium on Symbolic and algebraic computation
Design Wizards and Visual Programming Environments for GenVoca Generators

IEEE Transactions on Software Engineering
A perspective of generative reuse

Annals of Software Engineering
Deductive Synthesis of Numerical Simulation Programs fromNetworks of Algebraic and Ordinary Differential Equations

Automated Software Engineering
SciNapse: A Problem-Solving Environment for Partial Differential Equations

IEEE Computational Science & Engineering
High-level Mathematical Modeling And Programming

IEEE Software
Control Localization in Domain Specific Translation

ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Design of Problem-Solving Environment for Contingent Claim Valuation

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Design Wizards and Visual Programming Environments for Generators

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation

Automated Software Engineering
A New Architecture for Transformation-Based Generators

IEEE Transactions on Software Engineering
Automatic programming

Encyclopedia of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Sinapse, a knowledge-based, domain-specific system for synthesizing mathematical-modeling software, is discussed. Sinapse generates Fortran-77, Connection Machine Fortran, or C programs from specifications of mathematical equations and numerical methods. The synthesis process is divided into phases of refinement that attempt to duplicate the users' problem-solving processes in the design, implementation, and evolution states of mathematical modeling. These phases, with automated implementation, help modelers increase their productivity because they can write concise specifications and quickly experiment with variations on their models and algorithms by modifying specifications rather than implementations.