نتایج جستجو برای: interprétation

تعداد نتایج: 590  

1999
Patrick Cousot

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.

2007
Laurent Mazuel Nicolas Sabouret

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 ...

2011
Gregg Musiker Victor Reiner

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.

Journal: :Meta: Journal des traducteurs 1985

Journal: :ITA 1981
Hermann A. Maurer Arto Salomaa Derick Wood

— 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...

Journal: :Technique et Science Informatiques 2011
Xavier Rival

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 ...

Journal: :Études françaises 2006

Journal: :Journal des traducteurs 1958

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید