Une perspective relationnelle de la programmation - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 1985

Relational perspective of programming science

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
Fichier principal
Vignette du fichier
Mili.Ali_1985_these.pdf (15.99 Mo) Télécharger le fichier

Dates et versions

tel-00318687 , version 1 (04-09-2008)

Identifiants

  • HAL Id : tel-00318687 , version 1

Citer

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⟩

Collections

UGA CNRS TDS-MACS
117 Consultations
63 Téléchargements

Partager

Gmail Facebook X LinkedIn More