Abstract interpretation is a theory of discrete approximation of the semantics of computer systems mainly applied to the static analysis and verification of software. MOTS-CLÉS : Interprétation abstraite, sémantique, vérification, analyse statique.

Résumé : Dans la communication homme-machine en langue naturelle, le système doit être capable d’associer les termes de l’utilisateur avec les concepts manipulés par l’agent artificiel. Dans cet article, nous proposons une mesure de degré de relation sémantique entre deux concepts d’une ontologie pour faciliter cette phase dite « d’interprétation sémantique ». Nous proposons une généralisation ...

We interpret the coefficients of the cyclotomic polynomial in terms of simplicial homology. Résumé. Nous donnons une interprétation des coefficients du polynôme cyclotomique en utilisant l’homologie simpliciale.

— The aim ofthis paper is thejurther study oj EOLjorms under uniform interprétation. We are naturally led to the considération oj synchronized EOLjorms, which become the central thème of this paper. We prove: a ""strongest"" possible normaljorm resuit, the spanning normalJorm theorem; the non-existence oj uni-generatorsjor "reasonable" language amilies, which include thefinite, regular and cont...

Abstract interpretation was introduced as a generic framework, which allows to formalize, derive and prove static analyses, which are based on conservative approximation, that is, which are able to establish a fixed property for a subset of the programs which actually satisfy it. First, we provide a step by step description of the main steps in the design of such analyses, from the choice of a ...