Journal article
Refiner: A Problem-Solving Environment for Scientific Simulator Creation
Simulation (San Diego, Calif.), Vol.78(11), pp.655-680
11/2002
DOI: 10.1177/0037549702078011002
Abstract
The science and engineering disciplines rely heavily on computer simulation as a tool for solving large, complex mathematical problems. The difficulty of creating scientific simulation code presents the need for a programming environment that is able to assist the programmer in the code development process. This paper describes a development methodology and a prototype implementation of a system that provides such assistance. Refiner, a programming environment for creating scientific simulators, provides expert users with online support for the entire development process, from mathematical modeling to low-level implementation details. Refiner is based on Posit, a high-level object-oriented modeling and programming language. Mathematical models are specified, and executable programs are then developed through the successive application of semantics-preserving program transformations. Code development is recorded in the form of a refinement tree structure where each path from root to leaf encodes a series of program transformations representing a single-solution strategy.
Details
- Title: Subtitle
- Refiner: A Problem-Solving Environment for Scientific Simulator Creation
- Creators
- Kenny Hunt - University of Wisconsin–MadisonJames Cremer - University of Iowa
- Resource Type
- Journal article
- Publication Details
- Simulation (San Diego, Calif.), Vol.78(11), pp.655-680
- DOI
- 10.1177/0037549702078011002
- ISSN
- 0037-5497
- eISSN
- 1741-3133
- Language
- English
- Date published
- 11/2002
- Academic Unit
- Computer Science
- Record Identifier
- 9984259424102771
Metrics
6 Record Views