Titre : De la sémantique opérationnelle à la spécification formelle de compilateurs : l'exemple des boucles en Esterel

Loops in Esterel : from Operational Semantics to Formally Specified Compilers

Olivier Tardieu (1976-....). Auteur
Gérard Berry (1948-....). Directeur de thèse
(Paris)
[S.l.]
[s.n.]
2004
1 vol. (130 p.) ; 30 cm

xx Logiciels-- Vérification
xx Algorithmes-- Thèses et écrits académiques
xx Algorithmes
xx Temps réel (informatique)-- Thèses et écrits académiques
xx Compilation (informatique)-- Thèses et écrits académiques

Bibliogr. 86 réf.


Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   04 TAR
Bib. Paris   EMP 152.369 CCL.TH.1111
Bib. Paris   EMP 152.368 CCL.TH.1111
Sophia Antipolis   EMS T-CMA-055