Journées Francophones des Langages Applicatifs 2018

Sylvie Boldo 1 Nicolas Magaud 2
1 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
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.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Sylvie Boldo; Nicolas Magaud. Journées Francophones des Langages Applicatifs 2018, Jan 2018, Banyuls-sur-Mer, France. publié par les auteurs, 2018
Liste complète des métadonnées

Littérature citée [255 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01707376
Contributeur : Sylvie Boldo <>
Soumis le : lundi 12 février 2018 - 17:21:03
Dernière modification le : lundi 19 novembre 2018 - 17:13:54
Document(s) archivé(s) le : mardi 8 mai 2018 - 03:20:53

Fichier

jfla2018.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

318

Téléchargements de fichiers

632