Skip to Main content Skip to Navigation
Theses

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»
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00319044
Contributor : Thèses Imag <>
Submitted on : Friday, September 5, 2008 - 2:07:56 PM
Last modification on : Friday, November 6, 2020 - 4:15:51 AM
Long-term archiving on: : Thursday, June 3, 2010 - 8:06:43 PM

Identifiers

  • HAL Id : tel-00319044, version 1

Collections

Citation

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

Share

Metrics

Record views

464

Files downloads

211