Spelling suggestions: "subject:"7transformation programme"" "subject:"3dtransformation programme""
1 |
Section 26, Grootboom, and breaking new ground : South Africa's constitutional right to housing in theory and practiceYannias, Alexandra January 2008 (has links)
Includes abstract
Includes bibliographical references (leaves 110-117).
|
2 |
CONTRIBUTION AUX RELATIONS ENTRE LES GRAMMAIRES ATTRIBUEES ET LA PROGRAMMATION FONCTIONNELLEDuris, Etienne. JOURDAN, MARTIN.. January 1998 (has links)
Thèse de doctorat : SCIENCES ET TECHNIQUES : Orléans : 1998. / 1 microfiche de 392 images ; 105x148 mm. Microed. du texte dactylogr. 1998ORLE2038. 115 ref.
|
3 |
LUSTRE : un langage déclaratif pour le temps réelBergerand, Jean-Louis 06 January 1986 (has links) (PDF)
Le langage est conçu de manière à permettre une interprétation synchrone des suites. La nature du langage (dont la sémantique s'exprime simplement) permet des manipulations formelles sur les programmes dans le but de faire des vérifications et des preuves de correction. Des exemples illustrent l'utilisation du langage pour la programmation de systèmes temporisés pris dans différents domaines (temps réel classique, automatique, systolique, spécification et conception des circuits)
|
4 |
Algèbre de programmes dans un univers typeBensalem, Saddek 20 December 1985 (has links) (PDF)
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»
|
Page generated in 0.1044 seconds