Journées Francophones des Langages Applicatifs 2019 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Proceedings Year : 2019

Journées Francophones des Langages Applicatifs 2019

Abstract

En 2019, les 30èmes journées francophones des langages applicatifs (JFLA) se déroulent aux Rousses dans le Jura. Les JFLA réunissent, dans un cadre convivial, des concepteurs, des développeurs et des utilisateurs des langages fonctionnels, des assistants de preuve et des outils de vérification de programmes en présentant des travaux variés, allant des aspects les plus théoriques aux applications industrielles. Cette année, nous avons sélectionné 11 articles de recherche et 4 articles courts. Les thématiques sont variées : preuve formelle, exécution symbolique, vérification de programmes, langages de programmation, mais aussi théorie des catégories et programmation synchrone.
Fichier principal
Vignette du fichier
jfla2019.pdf (4.21 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01985195 , version 1 (17-01-2019)

Identifiers

  • HAL Id : hal-01985195 , version 1

Cite

Nicolas Magaud, Zaynah Dargaye. Journées Francophones des Langages Applicatifs 2019. Nicolas Magaud; Zaynah Dargaye. Journées Francophones des Langages Applicatifs 2019, Jan 2019, Les Rousses, France. publié par les auteurs, 2019. ⟨hal-01985195⟩
388 View
950 Download

Share

Gmail Facebook X LinkedIn More