Programming Language - SOL

SOL

SOL -
1. Simulation Oriented Language. Knuth & McNeley. ALGOL extension for
discrete simulation. "SOL - A Symbolic Language for General Purpose System
Simulation", D.E. Knuth et al, IEEE Trans Elec Comp, EC-13(4):401-408 (Aug
1964). Sammet 1969, p.656.
2. Second-Order Lambda calculus. A typed lambda calculus. "Abstract
Types have Existential Type", J. Mitchell et al, 12th POPL, ACM 1985,
pp.37-51.
3. Semantic Operating Language. Language for manipulating semantic
networks for building cognitive models, particularly for natural language
understanding. "Explorations in Cognition", D.A. Norman et al, W.H.
Freeman 1974.

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

9 plus 7? *   Robot Spam Prevention

 

Next Language:   SOLO

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z