33èmes journées francophones des langages applicatifs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2022

33èmes journées francophones des langages applicatifs

Chantal Keller
Sandrine Blazy
Guillaume Bury
Diane Gallois-Wong
David Janin
  • Function : Scientific advisor
  • PersonId : 2125
  • IdHAL : janin
  • IdRef : 13673524X
Luc Pellissier
Alix Trieu
Yannick Zakowski

Abstract

Les 33èmes Journées Francophones des Langages Applicatifs (JFLA) se sont tenues à Saint-Médard-d'Excideuil, plus précisément Domaine d'Essendiéras (Périgord), du mardi 28 juin 2022 au vendredi 1er juillet 2022. Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques. - Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. - Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. - Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles. - Spécification, prototypage, développements formels d'algorithmes. - Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement. - Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet.
Fichier principal
Vignette du fichier
proceedings-jfla-2022.pdf (9.45 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03689075 , version 1 (09-06-2022)

Identifiers

  • HAL Id : hal-03689075 , version 1

Cite

Chantal Keller, Timothy Bourke, Sandrine Blazy, Frédéric Bour, Guillaume Bury, et al. (Dir.). 33èmes journées francophones des langages applicatifs. Chantal Keller; Timothy Bourke. , pp.1-292, 2022. ⟨hal-03689075⟩
244 View
279 Download

Share

Gmail Mastodon Facebook X LinkedIn More