Journées Francophones des Langages Applicatifs 2018 - Archive ouverte HAL Access content directly
Proceedings Year : 2018

Journées Francophones des Langages Applicatifs 2018

(1) , (2)
1
2
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⟩
414 View
986 Download

Share

Gmail Facebook Twitter LinkedIn More