— In this paper the class of Linearly Constrained Languages (LCL) is considered. A language L belongs to LCL iff il is the set of strings of a unambiguous context-free language L' that satisfy linear constraints on the number of occurrences of symbois. We prove that every language in LCL admits a holonomic generating function, namely a function that satisfies a linear differential équation with...

Résumé. L’interrogation des bases de connaissances telles que les ontologies est une exigence centrale du web sémantique. De plus en plus on est forcé à reconnaître l’importance de fournir un accès simple à ces dépôts de connaissances. Cependant les outils existants qui permettent aux utilisateurs d’interroger et de raisonner sur les ontologies utilisent un langage de requête avec une syntaxe c...

Slicing analyses have been proposed for diierent programming languages. Rather than deening a new analysis from scratch for each programming language, we would like to specify such an analysis once for all, in a language-independent way, and then specialise it for diierent programming languages. In order to achieve this goal, we propose a notion of natural semantics format and a dynamic slicing...

Le Web de documents structurés qui repose sur le standard XML a rapidement été muni du standard XSLT pour engendrer des formats de présentation tels que HTML ou bien pour écrire des transformations de XML vers XML. De la même manière, le Web de données sémantiques qui repose sur le standard RDF a maintenant besoin d’un langage de transformation pour présenter les données RDF dans des formats li...

Résumé. La notion d’architecture logicielle est apparue aux alentours des années 1990 et est maintenant présentée comme le cœur d’une discipline à part entière. De nombreux langages de description d’architecture (ADLs) ont été proposés dans la littérature. Ils offrent des capacités complémentaires pour le développement et l’analyse architecturale d’un système logiciel. Comme l’objectif principa...

This paper formally describes the dynamic semantic of the Eiiel// language (Eiiel parallel). Eiiel// is a parallel extension of Eiiel language based on passive and active objects, asynchronous communication and wait-by-necessity. In this semantics we use formal speciications of inheritance and dynamic binding which we have deened in Natural Semantics for the Eiiel language. While in the framewo...

— Ehrenfeucht conjectured that each language L over a finite alphabet E possesses a test set, that is a finite subset F of L such that every two morphisms on E* agreeing on each string in F also agree on each string in L. We introducé the notion of déviation of a string with respect to a language and use it to give a sufficient condition for the existence of such a test set. Moreover, we prove ...