Actes des vingt-deuxièmes journées francophones des langages applicatifs

JFLA 2011

Cet ouvrage réunit les contributions scientifiques qui ont été présentées lors des vingt-deuxièmes

Journées Francophones des Langages Applicatifs.

Les dix articles choisis par le comité de programme reflètent bien la diversité de notre communauté ainsi que ses récentes avancées, tant du point de vue de l'application des langages de programmation que de la preuve formelle.