Action nomSsp(

D d1 : D1; ...; // les données

R r1 : R1; ...; // les résultats

DR m1 : M1; ...) // les modifiés

Début

# Corps de la procédure:

# toute action (lecture/écriture) sur une donnée D

# n'est pas visible à l'extérieur, tandis que toute

# action sur un résultat R ou un modifié DR s'effectue

# sur les entités "extérieurs" à la procédure

Fin

void nomSsp(

D1 d1, ..., // les données

R1 * r1, ..., // les résultats

M1 * m1, ...) // les modifiés

{

// Corps de la procédure:

// sur une donnée D : passage par valeur

// sur un résultat R ou un modifié M : passage par adresse (*)

}

void nomSsp(

D1 d1, ..., // les données

R1 & r1, ..., // les résultats

M1 & m1, ...) // les modifiés

{

// Corps de la procédure:

// sur une donnée D : passage par valeur

// sur un résultat R ou un modifié M : passage par référence (&)

}

static void nomSsp(D1 d1, ..., R1[] r1, ... M1[] m1, ...)

{

// Corps de la procédure:

// sur une donnée D : passage par valeur

// sur un résultat R ou un modifié M : passage par référence ([])

}

R vr = new R[1]; // déclaration d'une variable Résultat

M vm = new M[1]; // déclaration d'une variable Modifiée

def nomSsp(d1,...,m1,...):

  ...

  return r1,...,m1,...