Journées Francophones des Langages Applicatifs 2018

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.
Complete list of metadatas

Cited literature [255 references]  Display  Hide  Download

https://hal.inria.fr/hal-01707376
Contributor : Sylvie Boldo <>
Submitted on : Monday, February 12, 2018 - 5:21:03 PM
Last modification on : Thursday, October 3, 2019 - 2:04:03 PM
Long-term archiving on : Tuesday, May 8, 2018 - 3:20:53 AM

File

jfla2018.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01707376, version 1

Citation

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⟩

Share

Metrics

Record views

432

Files downloads

1046