Estendere la macchina fisica o implementare una logica
ALGOL’60, prototipo dei linguaggi imperativi
- parte dalla struttura della macchina fisica
- la estende con nuovi potenti meccanismi
LISP, prototipo dei linguaggi logici e funzionali
- parte da un calcolo logico (l-calcolo)
- ne definisce una implementazione sulla macchina fisica
ne nascono concetti simili
- non a caso basati sulla teoria
gli approcci restano diversi e danno origine a due filoni
- il filone imperativo
- il filone logico