PROSE was the mathematical 4GL virtual machine which established the holistic modeling paradigm known as Synthetic Calculus (AKA MetaCalculus). A successor to the SLANG/CUE simulation and optimization language developed at TRW Systems, it was introduced in 1974 on Control Data supercomputers. It was the first commercial language to employ automatic differentiation (AD), which was optimized to loop in the instruction-stack of the CDC 6600 CPU. Although PROSE was a rich block-structured procedural language, its focus was the blending of simultaneous-variable mathematical systems such as: implicit non-linear equations systems, ordinary differential-equations systems, and multidimensional optimization. Each of these kinds of system models were distinct and had operator templates to automate and solve them, added to the procedural syntax. These automated system problems were considered ”holistic” because their unknowns were simultaneous, and they could not be reduced in formulation to solve piecewise, or by algebra manipulation (e.g. substitution), but had to be solved as wholes. And wholeness also pertained to algorithmic determinacy or mathematical ”closure”, which made solution convergence possible and certain in principle, if not corrupted by numerical instability (wikipedia)
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Baydin, Atılım Güneş; Pearlmutter, Barak A.; Radul, Alexey Andreyevich; Siskind, Jeffrey Mark: Automatic differentiation in machine learning: a survey (2018)
- Joe Thames, Phil B Brubaker: PROSE development history, Wikipedia (2018) not zbMATH
- Thames, Joseph: Synthetic calculus. -- A paradigm of mathematical program synthesis (1991)
- Nilsen, Ragnar N.; Karplus, Walter J.: Continuous-system simulation languages: a state-of-the-art survey (1974)