A Formal Definition of SOL
- Creators
- Knuth, D. E.
- McNeley, J. L.
Abstract
This paper gives a formal definition of SOL, a general-purpose algorithmic language useful for describing and simulating complex systems. SOL is described using meta-linguistic formulas as used in the definition of ALGOL 60. The principal differences between SOL and problem-oriented languages such as ALGOL or FORTRAN is that SOL includes capabilities for expressing parallel computation, convenient notations for embedding random quantities within arithmetic expressions and automatic means for gathering statistics about the elements involved. SOL differs from other simulation languages such as SIMSCRIPT primarily in simplicity of use and in readability since it is capable of describing models without including computer-oriented characteristics.
Additional Information
© 1964 IEEE. Manuscript received January 3, 1964.Attached Files
Published - 04038205.pdf
Files
Name | Size | Download all |
---|---|---|
md5:ad4d7e34256b130cb630765628e1f061
|
1.2 MB | Preview Download |
Additional details
- Eprint ID
- 80448
- Resolver ID
- CaltechAUTHORS:20170815-161900387
- Created
-
2017-08-15Created from EPrint's datestamp field
- Updated
-
2021-11-15Created from EPrint's last_modified field