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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | , , , , , , , |
| Médium: | Thèse numérique |
| Jazyk: | Français |
| Vydáno: |
2025.
|
| Témata: | |
| On-line přístup: | 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 |
| Poznámka: |
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 |
| LEADER | 04785nam a22004937a 4500 | ||
|---|---|---|---|
| 001 | 1403566 | ||
| 008 | 260219s2025 xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN294083154 | ||
| 041 | 0 | |a fre |b fre |b eng | |
| 082 | |a 005.13 | ||
| 084 | |a 004 | ||
| 100 | 1 | |a Ischard, Jordan, |d 1998- | |
| 240 | 1 | 0 | |a Semantics of functional reactive programming languages with effects |
| 245 | 1 | 0 | |a Sémantique de langages de programmation fonctionnels réactifs avec effets |c Jordan Ischard ; sous la direction de Frédéric Loulergue et de Frédéric Dabrowski. |
| 256 | |a Données textuelles | ||
| 260 | |c 2025. | ||
| 500 | |a Titre provenant de l'écran-titre | ||
| 500 | |a Ecole(s) Doctorale(s) : Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes - MIPTIS | ||
| 500 | |a Partenaire(s) de recherche : LIFO - Laboratoire d'Informatique Fondamentale d'Orléans (Laboratoire) | ||
| 500 | |a 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)) | ||
| 502 | |a Thèse de doctorat. Informatique. Orléans. 2025 | ||
| 520 | |a 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 construire des fonctions de signal qui traitent de manière synchrone les flux d'entrée pour produire des flux de sortie. Malgré une construction concise et élégante de programme dans YAMPA, la gestion des entrées/sorties est un point difficile qui a amené au questionnement sur les effets de bords dans un langage FRP à la YAMPA. Parmi les solutions proposées par la communauté scientifique, nous nous sommes focalisés sur le langage WORMHOLES défini par Winograd-Cort et Hudak en 2012. Ce langage ajoute des constructions supplémentaires à YAMPA permettant d'introduire naturellement des effets dans un programme. Nous avons remarqué des problèmes dans la formalisation ainsi que des limitations non-nécessaires sur l'utilisation des effets. Dans cette thèse, nous proposons une mécanisation en ROCQ d'une variante du langage WORMHOLES corrigeant les problèmes de la formalisation papier initiale et nous étendons ses concepts dans un nouveau langage nommé MOLHOLES. | ||
| 520 | |a Functional Reactive Programming (FRP) is a functional programming paradigm designed for systems interacting with their environment. An important branch of this paradigm was introduced by Hudak et al. in 2002 via the Haskell library named YAMPA. It allows users to construct signal functions that synchronously process input streams to produce output streams. While this library facilitates concise and robust coding, managing I/O is cumbersome which led to questions about side effects for YAMPA-like languages. Among the solutions proposed by the scientific community, we focused on the WORMHOLES language defined by Winograd-Cort and Hudak in 2012. This language adds constructs to YAMPA which allows us to simply introduce side effects into a program. We noticed problems in the formalization, as well as unnecessary limitations on the use of effects. In this thesis, we propose a mechanization in ROCQ of a variant of WORMHOLES that corrects the problems found and extends its concepts in a new language named Molholes. | ||
| 538 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 650 | |a Informatique |x Recherche | ||
| 650 | |a Langages de programmation fonctionnelle | ||
| 650 | |a Temps réel (informatique) | ||
| 650 | |a Assistants de preuve | ||
| 650 | |a Langages de programmation fonctionnelle | ||
| 650 | |a Thèses et écrits académiques | ||
| 700 | 1 | |a Loulergue, Frédéric, |d 1973- |4 ths | |
| 700 | 1 | |a Dabrowski, Frédéric, |d 1976- |4 ths | |
| 700 | 1 | |a Limet, Sébastien, |d 19..-...., |c professeur en informatique. | |
| 700 | 1 | |a Gava, Frédéric, |d 1979- |4 opn | |
| 700 | 1 | |a Pouzet, Marc, |d 19..-...., |c informaticien. |4 opn | |
| 700 | 1 | |a Chouquet, Jules, |d 1992- |4 opn | |
| 700 | 1 | |a Picard, Celia, |d 1984- |4 opn | |
| 700 | 1 | |a Bourke, Timothy, |d 19..- |4 opn | |
| 710 | 2 | |a Université d'Orléans. |4 dgg | |
| 856 | 4 | |q PDF |s 1718025 |u http://www.theses.fr/2025ORLE1052/document |z Accès au texte intégral | |
| 856 | 4 | |u https://theses.univ-orleans.fr/public/2025ORLE1052_va.pdf | |
| 856 | 4 | |u http://www.theses.fr/2025ORLE1052/abes | |
| 856 | 4 | |u https://theses.hal.science/tel-05519422 | |
| 997 | |0 1403566 |1 Thèse numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||