La Programmation générique : construction de logiciel, spécification algébrique et vérification

Didier Bert (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

On étudie l'abstraction et la généricité dans les langages de programmation. On décrit les principaux outils de la programmation générique. On traite ensuite de la spécification des types et des fonctions et on étudie les methodes de vérification de programmes spécifiés algébriquement.

Keywords: programmation; programmes; langages; compilation; compilateurs; abstraction; généricité; itérations; itérateurs; traduction; mémoire; LISP; SETL; PROLOG; LUCID; CLEAR

Domains: Modeling and Simulation

Didier Bert. La Programmation générique : construction de logiciel, spécification algébrique et vérification. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1979. ⟨tel-00289691⟩