Sémantiques des langages impératifs d'ordre supérieur et interprétation abstraite.
Bourdoncle, Frangois.
PRL-RR-22 January 1993 External
Back to Index