Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Guatto, Adrien"'
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 1 (January 26, 2024) lmcs:10937
Join-preserving maps on the discrete time scale $\omega^+$, referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in the course of program execution. The set of time warps forms a si
Externí odkaz:
http://arxiv.org/abs/2302.04668
Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous endomaps of the discrete time scale, or time warps, can be used to qu
Externí odkaz:
http://arxiv.org/abs/2106.06205
Autor:
Guatto, Adrien
Cette thèse traite de la conception et implémentationd’un langage de programmation pour les systèmes detraitement de flux en temps réel, comme l’encodagevidéo. Le modèle des réseaux de Kahn est bien adaptéà ce domaine et y est couramment
Externí odkaz:
http://www.theses.fr/2016PSLEE020/document
Autor:
Guatto, Adrien
Nakano's later modality allows types to express that the output of a function does not immediately depend on its input, and thus that computing its fixpoint is safe. This idea, guarded recursion, has proved useful in various contexts, from functional
Externí odkaz:
http://arxiv.org/abs/1805.11021
It is well known that modern functional programming languages are naturally amenable to parallel programming. Achieving efficient parallelism using functional languages, however, remains difficult. Perhaps the most important reason for this is their
Externí odkaz:
http://arxiv.org/abs/1801.04618
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Keller, Chantal, Bourke, Timothy, Blazy, Sandrine, Bour, Frédéric, Bury, Guillaume, Dumbrava, Stefania, Gallois-Wong, Diane, Guatto, Adrien, Janin, David, Kerjean, Marie, Pellissier, Luc, Pereira, Mário, Trieu, Alix, Zakowski, Yannick
Publikováno v:
Chantal Keller; Timothy Bourke., pp.1-292, 2022
International audience; Les 33èmes Journées Francophones des Langages Applicatifs (JFLA) se sont tenues à Saint-Médard-d'Excideuil, plus précisément Domaine d'Essendiéras (Périgord), du mardi 28 juin 2022 au vendredi 1er juillet 2022.Les JFLA
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8576c5c241ab3e94a3ac0c7e870b372e
https://inria.hal.science/hal-03689075
https://inria.hal.science/hal-03689075
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journées Francophones des Langages Applicatifs-JFLA 2022
Journées Francophones des Langages Applicatifs-JFLA 2022, Feb 2022, Saint-Médard-d'Excideuil, France
Journées Francophones des Langages Applicatifs-JFLA 2022, Feb 2022, Saint-Médard-d'Excideuil, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::93228901db39b561e52c1eca5ef9692c
https://hal.archives-ouvertes.fr/hal-03465519
https://hal.archives-ouvertes.fr/hal-03465519
Autor:
Guatto, Adrien
Publikováno v:
Computation and Language [cs.CL]. PSL Research University, 2016. English. 〈NNT : 2016PSLEE020〉
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE020⟩
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE020⟩
This thesis addresses the design and implementationof a programming language for real-time streaming applications,such as video decoding. The model of Kahnprocess networks is a natural fit for this area and hasbeen used extensively. In this model, a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e7fdd6624583ee23739fc807d0388980
https://theses.hal.science/tel-01490431
https://theses.hal.science/tel-01490431