Compilation et vérification des programmes ELECTRE
On présente dans cette thèse une sémantique opérationnelle du langage réactif asynchrone ELECTRE basée sur un système de réécriture conditionnelle par calcul d'attributs synthétises sur la grammaire du langage. On montre que cette sémantique permet de construire un modèle d'exécution fini...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivité auteur : | |
Autres auteurs : | |
Format : | Thèse ou mémoire |
Langue : | français |
Titre complet : | Compilation et vérification des programmes ELECTRE / Franck Cassez; sous la direction de Jean-Pierre Elloy |
Publié : |
[S.l.] :
[s.n.]
, 1993 |
Description matérielle : | 1 vol. (132 p.) |
Note de thèse : | Thèse de doctorat : Automatique et informatique appliquée : Nantes : 1993 |
Sujets : | |
Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication BU Sciences, Ex. 2 : Titre temporairement indisponible à la communication |
LEADER | 03537cam a2200721 4500 | ||
---|---|---|---|
001 | PPN044219784 | ||
003 | http://www.sudoc.fr/044219784 | ||
005 | 20240829055200.0 | ||
029 | |a FR |b 1993NANT2013 | ||
035 | |a (OCoLC)490458807 | ||
035 | |a thS-00077126 | ||
035 | |a TC93-0492706 | ||
035 | |a DYNIX_BUNAN_105008 | ||
100 | |a 19990313d1993 k y0frey0103 ba | ||
101 | 0 | |a fre |d fre |2 639-2 | |
102 | |a FR | ||
105 | |a a ma 000yy | ||
106 | |a r | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c n |2 rdamedia | ||
182 | 1 | |6 z01 |a n | |
200 | 1 | |a Compilation et vérification des programmes ELECTRE |f Franck Cassez |g sous la direction de Jean-Pierre Elloy | |
210 | |a [S.l.] |c [s.n.] |d 1993 | ||
215 | |a 1 vol. (132 p.) |c fig. |d 30 cm | ||
300 | |a ECN | ||
301 | |a 1993NANT2013 | ||
316 | |5 441092104:178729728 |a Titre temporairement indisponible à la communication | ||
316 | |5 441092104:178729736 |a Titre temporairement indisponible à la communication | ||
320 | |a Bibliogr. 55 réf. | ||
328 | 0 | |b Thèse de doctorat |c Automatique et informatique appliquée |e Nantes |d 1993 | |
330 | |a On présente dans cette thèse une sémantique opérationnelle du langage réactif asynchrone ELECTRE basée sur un système de réécriture conditionnelle par calcul d'attributs synthétises sur la grammaire du langage. On montre que cette sémantique permet de construire un modèle d'exécution fini et déterministe pour tous les programmes du langage. Ce modèle est un système de transitions à file. Enfin, nous donnons des modèles de validation équivalents au modèle d'exécution sur lesquels on peut vérifier des propriétés comportementales par utilisation d'outils d'analyse de systèmes de transitions | ||
541 | | | |a Compilation and verification of ELECTRE programs |z eng | |
606 | |3 PPN027709922 |a Compilation (informatique) |2 rameau | ||
606 | |a Réécriture, système de (informatique) |2 rameau | ||
608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
610 | 1 | |a SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES | |
610 | 2 | |a TRAITEMENT LANGAGE/COMPILATION/REECRITURE/VERIFICATION/LANGAGE REACTIF/CD/SEMANTIQUE OPERATIONNELLE/CD | |
610 | 2 | |a LANGUAGE PROCESSING/COMPILATION/REWRITING/VERIFICATION/REACTIVE LANGUAGE/CD/OPERATIONAL SEMANTICS/CD | |
686 | |a 001.D.02.B.03 |2 tlt | ||
686 | |a 004 |2 TEF | ||
686 | |a 620 |2 TEF | ||
700 | 1 | |3 PPN066875927 |a Cassez |b Franck |4 070 | |
702 | 1 | |3 PPN060651911 |a Elloy |b Jean-Pierre |4 727 | |
712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
801 | 3 | |a FR |b Abes |c 20240524 |g AFNOR | |
979 | |a ECN | ||
979 | |a SCI | ||
915 | |5 441092306:178729701 |a 1142020204 |b 1142020204 | ||
915 | |5 441092306:17872971X |a -318622 |b -318622 | ||
915 | |5 441092104:178729728 |a 1160402859 |b 1160402859 | ||
915 | |5 441092104:178729736 |a 1160402842 |b 1160402842 | ||
919 | |5 441092306:178729701 |a 1142020204 | ||
919 | |5 441092306:17872971X |a -318622 | ||
919 | |5 441092104:178729728 |a 1160402859 | ||
919 | |5 441092104:178729736 |a 1160402842 | ||
930 | |5 441092306:178729701 |b 441092306 |a TH 1444 bis |j u | ||
930 | |5 441092306:17872971X |b 441092306 |a TH 1444 |j u | ||
930 | |5 441092104:178729728 |b 441092104 |j g | ||
930 | |5 441092104:178729736 |b 441092104 |j g | ||
991 | |5 441092104:178729728 |a Exemplaire modifié automatiquement le 18-07-2024 18:18 | ||
991 | |5 441092104:178729736 |a Exemplaire modifié automatiquement le 18-07-2024 18:18 | ||
998 | |a 288792 |