Sémantique de langages de programmation fonctionnels réactifs avec effets
La programmation réactive fonctionnelle (FRP) est un paradigme fonctionnel élaboré dans le but de simplifier la programmation de systèmes qui interagissent continuellement avec leur environnement. YAMPA est une bibliothèque particulièrement importante de ce paradigme. Elle permet aux utilisateurs de...
সংরক্ষণ করুন:
| প্রধান লেখক: | Ischard, Jordan, 1998- |
|---|---|
| অন্যান্য লেখক: | Loulergue, Frédéric, 1973- (Thesis advisor), Dabrowski, Frédéric, 1976- (Thesis advisor), Limet, Sébastien, 19..-...., professeur en informatique, Gava, Frédéric, 1979- (Opponent), Pouzet, Marc, 19..-...., informaticien (Opponent), Chouquet, Jules, 1992- (Opponent), Picard, Celia, 1984- (Opponent), Bourke, Timothy, 19..- (Opponent) |
| বিন্যাস: | Thèse numérique |
| ভাষা: | Français |
| প্রকাশিত: |
2025.
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès au texte intégral https://theses.univ-orleans.fr/public/2025ORLE1052_va.pdf http://www.theses.fr/2025ORLE1052/abes https://theses.hal.science/tel-05519422 |
| টীকা: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes - MIPTIS Partenaire(s) de recherche : LIFO - Laboratoire d'Informatique Fondamentale d'Orléans (Laboratoire) Autre(s) contribution(s) : Sébastien Limet (Président du jury) ; Frédéric Gava, Marc Pouzet, Jules Chouquet, Celia Picard, Timothy Bourke (Membre(s) du jury) ; Frédéric Gava, Marc Pouzet (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Semantics of functional reactive programming languages with effects |
অনুরূপ উপাদানগুলি
-
Génération automatique d'interfaces pour langages fonctionnels
(Thèse et Mémoire papier)
El Amrani, Younès
[s.n.], 1996 -
Programmation fonctionnelle, générique et objet : une introduction avec le langage OCaml
(Livre papier)
Narbel, Philippe, 1963-
Vuibert, 2005 -
Programmation concurrente et temps réel avec ADA 95
(Livre papier)
Zaffalon, Luigi, অন্যান্য
Presses polytechniques et universitaires romandes, 1999 -
Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
(Thèse numérique)
Tesson, Julien, 1982-
, 2011 -
Extension paramétrée de compilateur certifié pour la programmation parallèle
(Thèse numérique)
Dailler, Sylvain, 1988-
, 2015