CaltechAUTHORS
  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. https://resolver.caltech.edu/CaltechAUTHORS:20170815-161900387

[img] PDF - Published Version
See Usage Policy.

1132Kb

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:
URLURL TypeDescription
https://doi.org/10.1109/PGEC.1964.263822DOIArticle
http://ieeexplore.ieee.org/document/4038205/PublisherArticle
Additional Information:© 1964 IEEE. Manuscript received January 3, 1964.
Issue or Number:4
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: Kristin Buxton
Deposited On:15 Aug 2017 23:26
Last Modified:03 Oct 2019 18:31

Repository Staff Only: item control page