Computational Linguistics and Logic Programming have strong connections, but the former uses concepts that are absent from the most familiar implementations of the latter. We advocate that a Logic Programming language needs not feature the Computational Linguistics concepts exactly, it must only provide a logical way of dealing with them. We focus on the manipulation of higher-order terms and t...

We present a dataow extension of OpenMP to express highly dynamic control and data ow over nested, dependent tasks. The language supports dynamic creation, modular composition, variable and unbounded sets of producers/consumers, separate compilation, and rstclass streams. These features, enabled by our original compilation ow, allow translating high-level parallel programming patterns, like dep...

Résumé. Les réseaux dynamiques soulèvent de nouveaux problèmes d’analyses. Un outils efficace d’analyse doit non seulement permettre de décomposer ces réseaux en groupes d’éléments similaires mais il doit aussi permettre la détection de changements dans le réseau. Nous présentons dans cet article une nouvelle approche pour l’analyse de tels réseaux. Cette technique est basée sur un algorithme d...

This paper demonstrates a method of extracting programs from formal deductions represented in the Edinburgh Logical Framework, using the Elf programming language. Deductive systems are given for the extraction of simple types from formulas of rst-order arithmetic and of-calculus terms from natural deduction proofs. These systems are easily encoded in Elf, yielding an implementation of extractio...

Ce document traite de la nécessité de fournir aux infirmières praticiennes des régions rurales la formation à distance considérée comme essentielle pour mettre à jour leurs qualifications professionnelles acquises. La méthode de prestation des cours est un élément crucial de leur succès. Les auteurs présentent et décrivent la méthode de prestation novatrice du Programme ontarien de formation de...

Résumé. Nous présentons dans le présent document une vue d’ensemble du projet de détermination directe de la constante de von Klitzing RK, en cours de réalisation au Bureau International de Poids et Mesures (BIPM). Cette détermination est effectuée dans le contexte général de la révision du Système International d’unités qui sera effective à partir de 2018. L’objectif visé est de mesurer avec u...

RÉSUMÉ. L’analyse de terminaison des programmes logiques a été sujette à une recherche intensive durant les deux dernières décennies. La majorité des travaux s’est intéressée à la terminaison universelle gauche d’une classe donnée de requêtes, c’est-à-dire au fait que toutes les dérivations des requêtes de cette classe produites par un moteur Prolog sont finies. En revanche, l’étude du problème...

Un des challenges importants en programmation par contraintes est la reformulation de modèles déclaratifs en programmes exécutables permettant de calculer leurs solutions. Cette phase peut nécessiter de faire des traductions entre les langages de la programmation par contraintes, de changer la représentation des contraintes ou d’optimiser les modèles et de paramétrer les stratégies de recherche...

l’œuvre n’existe pas en tant que littéraire pour le lecteur, si la lecture ne lui procure aucune émotion esthétique.mais quelles sont les conditions qui président à la perception de l’œuvre comme texte littéraire?et si c’est uniquement le récepteur qui érige le texte en œuvre littéraire, selon quels critères peut-on juger de sa littérarité? pour répondre à ces questions, l’approchesémiostylisti...