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

Journées Francophones des Langages Applicatifs 2018

Nicolas Magaud

Abstract

Les 29èmes journées francophones des langages applicatifs (JFLA) se déroulent en 2018 à l'observatoire océanographique de Banyuls-sur-Mer. Les JFLA réunissent chaque année, dans un cadre convivial, concepteurs, développeurs et 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é 9 articles de recherche et 8 articles courts. Les thématiques sont variées : preuve formelle, vérification de programmes, modèle mémoire, langages de programmation, mais aussi théorie de l'homotopie et blockchain.
Fichier principal
Vignette du fichier
jfla2018.pdf (7.8 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01707376 , version 1 (12-02-2018)

Identifiers

  • HAL Id : hal-01707376 , version 1

Cite

Sylvie Boldo, Nicolas Magaud. Journées Francophones des Langages Applicatifs 2018. Sylvie Boldo; Nicolas Magaud. Journées Francophones des Langages Applicatifs 2018, Jan 2018, Banyuls-sur-Mer, France. publié par les auteurs, 2018. ⟨hal-01707376⟩
509 View
1285 Download

Share

More