Editorial

摘要

Autour et alentour des langages applicatifs regroupe des articles présentant des travaux exposés lors des 16~e et 17~e éditions des Journées françaises des langages applicatifs (JFLA). Ces éditions ont eu lieu en 2005 et 2006 respectivement à Obernai et à Pauillac. Les JFLA ont pour ambition de couvrir le domaine des langages applicatifs, au sens large, en réunissant les concepteurs et les utilisateurs afin de débattre et discuter des avancées de la communauté francophone. Initialement centrés sur les langages, les thèmes des conférences se sont peu à peu élargis pour refléter la diversité des travaux connexes aux langages applicatifs et inclure les apports d'outils d'autres domaines qui autorisent la construction de systèmes logiciels plus sûrs (assistants de preuves, spécification, prototypage, développement formel d'algorithmes, etc.). S'inscrit dans cette ligne la chronique de S. Blazy sur la réalisation d'un compilateur certifié pour un sous-ensemble du langage C dans le cadre du projet Compcert. Cette réalisation, essentielle pour les applications embarquées, est rendue possible par l'utilisation de l'atelier Coq pour produire automatiquement un compilateur à partir d'une spécification formelle, en assurant que chaque étape de la compilation respecte bien la spécification initiale.