A Caltech Library Service

A Formal Definition of SOL

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.

[img] PDF - Published Version
See Usage Policy.


Use this Persistent URL to link to this item:


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:
URLURL TypeDescription
Additional Information:© 1964 IEEE. Manuscript received January 3, 1964.
Issue or Number:4
Record Number:CaltechAUTHORS:20170815-161900387
Persistent URL:
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
Deposited On:15 Aug 2017 23:26
Last Modified:15 Nov 2021 19:35

Repository Staff Only: item control page