7073134692

record

The principal programming paradigms

"Morę is not better (or worse) than less, just different."

i LOS O 2008 by Peter Van foty

Pascal. C

+ ctosure

Java, (K ami

+ thread

Constraim (logio

| CLP, ILOG Solvcr

+ thread

Scqucntial

objed-oricntcd

programming

Siaicful

funclional

Oz, Alice. Curry, Excel, AKL, FGHC, FCP

Datas truciu res only Turing equivalent

Prolog, SOL	Łazy funclional
embeddings
+ solver	programming

LIFE, AKL

♦ by-need synehronization

+ thread + single assignmenl

Declaralive

concurrcnt

programming

♦ synek, on partial lerminańon

Multi- progra	-agent mming
Message eona progra	-passing irrcm mming

Erlang, AKL

+ local celi

Łazy concurrcnt constraint

Oz, Alice, Curry

Łazy

dalaflow

programming

Uzy

dcc lara! i vc concurrcnt programming

Oz, Alice, Curry

Functional rcaclive programming (l-KP)

Wcak synchronous programming

FiTlmc, SL

f ♦ mstaiuatieous cainpuiaium

Logic and constrainls

Funclional

Slrong synchronous programming Estcrcl, I.ustre. Signal

Aclive objęci ^Mvgnmimin^_

Objcct-capabiliiy programming

CSP, Occam,

E, Oz, Alice, publLsh/subscribe, tupie spacc (Linda)

Cone objcct-i	arrent incnicd mming
Sharec eona J222,	III

Smalllalk, Oz, Java, Alice ^Jog

Software trany aclional

SQL embeddings

Dalaflow atut message passing

Message patsing

Shared State

Morę declarative

Unnamed stale (seq. or conc.)

Nondet. stale

Marned stale

—I—

► l^ess declaratire