Dans un langage de programmation classique :
pour i de 1 a m faire
pour j de 1 a n faire
c(i,j) = a(i,j) + b(i,j)
Bien que les calculs des c(i,j) soient indépendants, la programmation
séquentielle nous oblige à fournir l'ordre dans lequel seront faits
les calculs.
Dans un langage de programmation parallèle, on écrira :
En parallele, pour tous les couples (i,j) dans [1..m,1..n] faire
c(i,j) = a(i,j) + b(i,j)
Le programmeur n'a pas à introduire du ``comment'' dans son programme, mais seulement du ``quoi faire''. Le programme est plus proche de la spécification.