-IBUT ET LIMITES DE CETTE NOTATION -IISTRUCTURE DU LANGAGE PIVOT a) El~ment du langage b) Lexls et ~nonc~s ~l~nentaires c) Composition des lexis et des ~nonc~s ~l~mentaires -IIIACCES AUTOMATIQUE AU LANGAGE PIVOT a) Structure syntaxique inltlale b) Description de la gra~nalre d'~tlquetage (M3) -IVAPPLICATIONS a) Utilisation dans un programme de traduction automatique b) Nature du lexique c) Nota...

Résumé. Dans cet article nous proposons une extension du langage fonctionnel Caml Light appelé ACCL (pour A Concurrent Caml Light) dont le but est de combiner les paradigmes de programmation impérative, fonctionnelle, de concurrence et de distribution dans un seul langage de programmation. Pour l’extension concurrente de Caml Light nous proposons quelques primitives avec une sémantique très sim...

AROM est un système de représentation de connaissances reposant, à l’image des diagrammes de classes d’UML, sur deux types d’entités de modélisation complémentaires : les classes et les associations. Il intègre un langage de modélisation algébrique (ou LMA) qui sert de support à différents mécanismes d’inférence. Ce langage permet l’écriture d’équations, de contraintes, et de requêtes, impliqua...

This paper describes the process of mechanically certifying a compiler with respect to the semantic speciication of the source and target languages. The proofs are performed in type theory using the Coq system. These proofs introduce speciic theoretical tools: fragmentation theorems and general induction principles. Un compilateur certiii pour un langage impratif RRsumm : Cet article ddcrit la ...

Résumé. Nous présentons dans cet article le langage que nous avons conçu pour manipuler des documents SGML. Ce langage nommé SgmlQL est une extension du langage de requêtes orienté-objet OQL. SgmlQL permet de construire de nouveaux documents à partir d'éléments extraits des documents manipulés, soit en les assemblant, soit en modifiant leur structure. Pour extraire ces éléments, SgmlQL est muni...

cet article essaie d’aborder « le langage et ses mécanismes » dans l’une des fameuses comédies de beaumarchais, le mariage de figaro qui est considéré révolutionnaire, avant tout par l’un des éléments de la parole, le célèbre monologue de figaro qui joue un rôle primordial dans le déroulement de l’aspect tragique de la pièce où le comique verbal se fait généralement à travers les jeux de mots, ...

— It is shown that one can décide whether a langage has dot-depth one in the dot-depth hierarchy introduced by BrzozowskL The décision procedure is based on an algebraic characterization of the syntactic semigroup of a langage of dot-depth 0 or 1. Résumé. — On démontre que Von peut décider si un langage est de hauteur 1 dans la hiérarchie de concaténation introduite par BrzozowskL L'algorithme ...

RÉSUMÉ. La programmation de systèmes réactifs tels que les simulateurs de systèmes dynamiques ou les jeux vidéo est une tâche difficile. Les techniques classiques pour programmer ces systèmes sont fondées sur l’utilisation de bibliothèques de threads ou de programmation événementielle. Nous introduisons ici le langage REACTIVEML comme une alternative à ces pratiques. Le langage est une extensio...

Résumé. OWL est un langage pour la description d’ontologies sur le Web. Cependant, en tant que langage, OWL ne fournit aucun moyen pour interpréter les ontologies qu’il décrit, et étant orienté machine, il reste difficilement compréhensible par l’humain. On propose une approche de visualisation, d’interrogation et de vérification de documents OWL, regroupées dans un unique environnement graphiq...