Program Synthesis and Transformation Techniques for Simpuation, Optimization and Constraint Satisfaction

Abstract

Scientists and engineers face recurring problems of constructing, testing and modifying numerical simulation programs. The process of coding and revising such simulators is extremely time-consuming, because they are almost always written in conventional programming languages. Scientists and engineers can therefore beneet from software that facilitates… (More)

Topics

Cite this paper

@inproceedings{Ellman1998ProgramSA, title={Program Synthesis and Transformation Techniques for Simpuation, Optimization and Constraint Satisfaction}, author={Thomas Ellman}, year={1998} }