Programming languages and Model of computations I am learning about model of computation and I found this wikipedia entry that categorises and outlines various model of computation.
Now I want to know the programming languages that builds on these models.
I am aware that functional programming languages are built upon lambda calculus, and that imperative programming is more or less as a result of Turing machine model. But I do not know about the other models and if any programming language have been designed based on them.
Anyone knows if there are languages that builds on model of computation listed on the wikipedia entry?
Functional programming languages can often be thought of as built on the lambda calculus.
Imperative programming languages can often be thought of as built on the RAM (Random Access Machine) model of computation.
Some hardware description languages can be thought of as being built on the finite-state machine model, or on digital circuits.
Some declarative languages can be thought of as built on Datalog.
Some concurrent languages can be thought of as built on the actor model or on process calculi (e.g., CSP, the $\pi$-calculus, etc.).