Journées Francophones des Langages Applicatifs 2019

Résumé : 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.
Complete list of metadatas

Cited literature [174 references]  Display  Hide  Download

https://hal.inria.fr/hal-01985195
Contributor : Nicolas Magaud <>
Submitted on : Thursday, January 17, 2019 - 4:45:09 PM
Last modification on : Thursday, February 7, 2019 - 3:35:44 PM

File

jfla2019.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01985195, version 1

Citation

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, ⟨https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/⟩. ⟨hal-01985195⟩

Share

Metrics

Record views

151

Files downloads

382