Knuth, D. E. and McNeley, J. L. (1964) A Formal Definition of SOL. IEEE Transactions on Electronic Computers, EC-13 (4). pp. 409-414. ISSN 0367-7508. doi:10.1109/PGEC.1964.263822. https://resolver.caltech.edu/CaltechAUTHORS:20170815-161900387
![]() |
PDF
- Published Version
See Usage Policy. 1MB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20170815-161900387
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.
Item Type: | Article | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| |||||||||
Additional Information: | © 1964 IEEE. Manuscript received January 3, 1964. | |||||||||
Issue or Number: | 4 | |||||||||
DOI: | 10.1109/PGEC.1964.263822 | |||||||||
Record Number: | CaltechAUTHORS:20170815-161900387 | |||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20170815-161900387 | |||||||||
Official Citation: | D. E. Knuth and J. L. McNeley, "A Formal Definition of SOL," in IEEE Transactions on Electronic Computers, vol. EC-13, no. 4, pp. 409-414, Aug. 1964. doi: 10.1109/PGEC.1964.263822 | |||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | |||||||||
ID Code: | 80448 | |||||||||
Collection: | CaltechAUTHORS | |||||||||
Deposited By: | INVALID USER | |||||||||
Deposited On: | 15 Aug 2017 23:26 | |||||||||
Last Modified: | 15 Nov 2021 19:35 |
Repository Staff Only: item control page