-
1
المؤلفون: Brun, Lélio
المساهمون: STAR, ABES, Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Parallélisme de Kahn Synchrone ( Parkas), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres, Marc Pouzet, Timothy Bourke, Département d'informatique - ENS Paris (DI-ENS), Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Département d'informatique - ENS Paris (DI-ENS), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL)
المصدر: Programming Languages [cs.PL]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE003⟩
مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Langages synchrones à flots de données, Compilation vérifiée, Synchronous dataflow languages, Scade, Lustre, Modular reset, Sémantique mécanisée, Assistants de preuve interactifs, Reset modulaire, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Mechanized semantics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Coq, Verified compilation, Vélus, Interactive theorem provers
وصف الملف: application/pdf
-
2Dissertation/ Thesis
المؤلفون: Brun, Lélio
المساهمون: Université Paris sciences et lettres, Pouzet, Marc, Bourke, Timothy
مصطلحات موضوعية: Langages synchrones à flots de données, Lustre, Scade, Compilation vérifiée, Sémantique mécanisée, Vélus, Assistants de preuve interactifs, Coq, Reset modulaire, Synchronous dataflow languages, Verified compilation, Mechanized semantics, Interactive theorem provers, Modular reset, 005.13
-
3Dissertation/ Thesis
المؤلفون: Brun, Lélio
المساهمون: Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Parallélisme de Kahn Synchrone ( Parkas), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres, Marc Pouzet, Timothy Bourke
المصدر: https://tel.archives-ouvertes.fr/tel-03068862 ; Programming Languages [cs.PL]. Université Paris sciences et lettres, 2020. English. ⟨NNT : 2020UPSLE003⟩.
مصطلحات موضوعية: Synchronous dataflow languages, Lustre, Scade, Verified compilation, Mechanized semantics, Vélus, Interactive theorem provers, Coq, Modular reset, Langages synchrones à flots de données, Compilation vérifiée, Sémantique mécanisée, Assistants de preuve interactifs, Reset modulaire, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: NNT: 2020UPSLE003; tel-03068862; https://tel.archives-ouvertes.fr/tel-03068862; https://tel.archives-ouvertes.fr/tel-03068862/document; https://tel.archives-ouvertes.fr/tel-03068862/file/Brun-2020-These.pdf