Jean-Michel Hufflen

Learn More
We report an experience of implementing the MlBIBT E X bibliography processor, a re-implementation of BIBT E X with particular focus on multilingual features. First we describe the behaviour of this software and explain why we chose Scheme to implement the first public version. Then we give the broad outlines of our implementation and show how we took as(More)
This article reports our experience in the reimplementing of the bibliography program BIBT E X, associated with the L A T E X word processor. First, we present the new features of our new version—called MlBIBT E X—in comparison with " old " BIBT E X and justify them. By the way, we show that tools for reeingineering data—that is, bibliography files—are(More)
Within a component-based approach allowing dynamic reconfigurations, sequences of successive reconfiguration operations are expressed by means of reconfiguration paths, possibly infinite. We show that a subclass of such paths can be modelled by finite state automata. This feature allows us to use techniques related to model-checking to prove some(More)