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

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

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....

Full description

Bibliographic Details
Main Author: Bert, Didier
Language:FRE
Published: 1979
Subjects:
[INFO:INFO_MO] Computer Science/Modeling and Simulation
programmation
programmes
langages
compilation
compilateurs
abstraction
généricité
itérations
itérateurs
traduction
mémoire
LISP
SETL
PROLOG
LUCID
CLEAR
Online Access:http://tel.archives-ouvertes.fr/tel-00289691
http://tel.archives-ouvertes.fr/docs/00/28/96/91/PDF/Bert.Didier_1979_these.pdf
id ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00289691
record_format oai_dc
spelling ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-002896912013-01-07T18:33:58Z http://tel.archives-ouvertes.fr/tel-00289691 http://tel.archives-ouvertes.fr/docs/00/28/96/91/PDF/Bert.Didier_1979_these.pdf La Programmation générique : construction de logiciel, spécification algébrique et vérification Bert, Didier [INFO:INFO_MO] Computer Science/Modeling and Simulation programmation programmes langages compilation compilateurs abstraction généricité itérations itérateurs traduction mémoire LISP SETL PROLOG LUCID CLEAR 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. 1979-06-26 FRE habilitation ࠤiriger des recherches
collection NDLTD
language FRE
sources NDLTD
topic [INFO:INFO_MO] Computer Science/Modeling and Simulation
programmation
programmes
langages
compilation
compilateurs
abstraction
généricité
itérations
itérateurs
traduction
mémoire
LISP
SETL
PROLOG
LUCID
CLEAR
spellingShingle [INFO:INFO_MO] Computer Science/Modeling and Simulation
programmation
programmes
langages
compilation
compilateurs
abstraction
généricité
itérations
itérateurs
traduction
mémoire
LISP
SETL
PROLOG
LUCID
CLEAR
Bert, Didier
La Programmation générique : construction de logiciel, spécification algébrique et vérification
description 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.
author Bert, Didier
author_facet Bert, Didier
author_sort Bert, Didier
title La Programmation générique : construction de logiciel, spécification algébrique et vérification
title_short La Programmation générique : construction de logiciel, spécification algébrique et vérification
title_full La Programmation générique : construction de logiciel, spécification algébrique et vérification
title_fullStr La Programmation générique : construction de logiciel, spécification algébrique et vérification
title_full_unstemmed La Programmation générique : construction de logiciel, spécification algébrique et vérification
title_sort la programmation générique : construction de logiciel, spécification algébrique et vérification
publishDate 1979
url http://tel.archives-ouvertes.fr/tel-00289691
http://tel.archives-ouvertes.fr/docs/00/28/96/91/PDF/Bert.Didier_1979_these.pdf
work_keys_str_mv AT bertdidier laprogrammationgeneriqueconstructiondelogicielspecificationalgebriqueetverification
_version_ 1716453694399053824

Similar Items