Algèbre de programmes dans un univers type - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1985

Program algebra in a type universe

Algèbre de programmes dans un univers type

Résumé

Dans cette thèse, on présente un cadre qui associe la spécification algèbrique de types à l'algèbre de programme. La principale caractéristique de cette approche est fournie par les opérateurs génériques définissables par les utilisateurs qui donnent une grande puissance d'expression aux règles d'équivalence. En particulier, la structure de certains types est contenue implicitement dans des opérateurs génériques comme l'homomorphisme et l'homomorphisme «inverse». Les applications de cette algèbre de programmes typés incluent la preuve de programmes sans induction explicite, et les méthodes de transformation de programmes comme le «folding-unfolding»
Fichier principal
Vignette du fichier
Bensalem.Saddek_1985_these.pdf (8.03 Mo) Télécharger le fichier

Dates et versions

tel-00319044 , version 1 (05-09-2008)

Identifiants

  • HAL Id : tel-00319044 , version 1

Citer

Saddek Bensalem. Algèbre de programmes dans un univers type. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français. ⟨NNT : ⟩. ⟨tel-00319044⟩

Collections

UGA CNRS TDS-MACS
148 Consultations
56 Téléchargements

Partager

Gmail Facebook X LinkedIn More