DEDICATED TO LANGUAGE VARIATIONS

A Proof Dedicated Meta-Language

We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local automations. Ltac is essentially a small functional core with recursors and powerful pattern-matching operators for Coq terms but also for proof contexts. As Ltac is not complete, we describe an interface between Ltac ...

Compilation Principle of a Specification Language Dedicated to Signal Processing

Array-OL, developed by Thomson Marconi Sonar, is a programming language dedicated to signal processing. An Array-OL program specifies the dependencies between array elements produced and consumed by tasks. In particular, temporal dependencies may be specified by referencing elements that belong to an infinite dimension of an array. A basic compilation strategy of Array-OL on a workstation has b...

Tree-based Language Model dedicated to Natural Spoken Dialog systems

Within the framework of Natural Spoken Dialog systems, we propose in this paper a method which automatically builds, from a training corpus, a set of Language Models (LMs) organized as a binary tree and called a Tree-based LM (TLM). Each LM corresponds to a specific dialogue situation, where the general LM is attached to the root node and the leaves represent the more specialized ones. Such LMs...

Corbascript: a Dedicated Corba Scripting Language 1

In this paper, we show our current work on CorbaScript: a new object-oriented scripting language dedicated to CORBA. It allows any user to develop their activities by simply, interactively and dynamically accessing objects available on the CORBA bus. Therefore the user is completely free to operate, administrate, conngure, connect, create and delete distributed objects on the CORBA bus. The Cor...

This is dedicated to our former chairman Dr. Mahmoud Rohani