index - Trente-Troisièmes Journées Francophones des Langages Applicatifs Accéder directement au contenu

Ce site web réunit les articles des JFLA 2022. Ils ont tous été téléchargés sur HAL. Le site web de la conférence contient les informations pour l'évènement lui-même.

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.

Tables des matières

Articles longs

Articles courts

Démonstrations de prototypes

Comité de programme

 

Chantal Keller   LMF, Université Paris-Saclay , Présidente
Timothy Bourke   Inria, ÉNS de Paris, Vice-Président
Sandrine Blazy   Irisa, Université Rennes 1
Frédéric Bour   Tarides - Inria
Guillaume Bury   OcamlPro
Stefania Dumbrava   Samovar, ENSIIE, Télécom Sud Paris
Diane Gallois-Wong   Nomadic Labs
Adrien Guatto   IRIF, Université de Paris
David Janin   LaBRI, Université de Bordeaux
Marie Kerjean   LIPN, Université Paris 13
Luc Pellissier   LACL, Université Paris-Est Créteil
Mário Pereira   NOVA-LINCS, Universidade Nova de Lisboa
Alix Trieu   Aarhus University
Yannick Zakowski   LIP, Inria, ÉNS de Lyon