Learn More
<i>The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. Dialogs are specified by means of modular, communicating grammars called VEG (Visual Event Grammars), which extend traditional BNF grammars to make the modeling of dialogs more convenient.</i> <i>A VEG specification is(More)
Software engineering has to reconcile modularity with ee-ciency. One way to grapple with this dilemma is to automatically transform a modular-speciied program into an eecient-implementable one. This is the aim of deforestation transformations which get rid of intermediate data structure constructions that occur when two functions are composed. Beyond(More)
HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion(More)
Grammar metrics have been introduced to measure the quality and the complexity of the formal grammars. The aim of this paper is to explore the meaning of these notions and to experiment, on several grammars of domain specific languages and of general-purpose languages, existing grammar metrics together with the new metrics that are based on grammar LR(More)
Some years ago, the notion of attribute coupled grammars was introduced by Ganzinger and Giegerich 4], together with descrip-tional composition. The latter works essentially at the speciication level, i.e., it produces an attribute grammar which speciies the composition of two attribute coupled grammars. We introduce a new approach to this composition of(More)
Reflection-based libraries could sometimes be used to extend the expressive power of Java without modifying the language nor the virtual machine. In this paper, we present the advantages of this approach together with general guidelines allowing such implementations to be practicable. Then, we show how these principles have been applied to implement an(More)