Paradigmes de langages de programmation
On peut classer les langages de programmation :
Iimp´eratif (FORTRAN, Pascal, C, Ada)
Ifonctionnel (Lisp, Scheme, ML, Caml, Haskell)
Ilogique (Prolog)
et orient´e objet (Smalltalk, Eiffel, Java, C++, OCaml)
Le langage IMP est un langage imp´eratif particuli`erement simple,
mais aussi puissant que les autres langages.
Toutes les s´emantiques de IMP sont ´equivalentes.
R´ef´erence : Glynn WINSKEL,
The formal semantics of programming languages.