Une perspective relationnelle de la programmation

Résumé : Cette thèse présente une perspective relationnelle à plusieurs aspects de la programmation. L'algèbre relationnelle de Tarski est utilisée pour formuler, et parfois résoudre, des problèmes pertinents à la programmation tels que: la spécification de programmes, l'analyse fonctionnellle de programmes, la vérification de programmes, la conception de programmes et le traitement d'erreurs dans les programmes. La perspective que nous adoptons dans cette thèse est caractérisée par les prémisses suivantes: les programmes sont spécifiés à l'aide de relations; l'analyse fonctionnellle de programmes se fait par composition de fonctions; la conception de programmes se fait par décomposition de relations
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00318687
Contributor : Thèses Imag <>
Submitted on : Thursday, September 4, 2008 - 4:13:55 PM
Last modification on : Thursday, January 11, 2018 - 6:20:25 AM
Long-term archiving on : Thursday, June 3, 2010 - 8:35:41 PM

Identifiers

  • HAL Id : tel-00318687, version 1

Collections

Citation

Ali Mili. Une perspective relationnelle de la programmation. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1985. ⟨tel-00318687⟩

Share

Metrics

Record views

191

Files downloads

145