Journées Francophones des Langages Applicatifs 2019

Nicolas Magaud (1) , Zaynah Dargaye (2)

1 ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
2 CEA - Commissariat à l'énergie atomique et aux énergies alternatives

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.

Domaines: Logique en informatique [cs.LO]; Langage de programmation [cs.PL]; Génie logiciel [cs.SE]

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⟩