Une recherche du nom de mon laboratoire, VERIMAG, dans la base de données de presse FACTIVA m'a montré qu'il y avait des sites ou agences de presse spécialisées... dans la réécriture, manuelle ou automatique, de résumés d'articles scientifiques sous la forme d'articles de presse. Par exemple :

Mathematics; Study data from D. Monniaux et al provide new insights into mathematics WC  274 words PD  18 November 2010 SN  Computer Weekly News SC  COMWKN PG  155 LA  English CY  © Copyright 2010 Computer Weekly News via via VerticalNews.com LP 

2010 NOV 18 - (VerticalNews.com) -- "We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and containing linear assignments and tests," researchers in France report.

TD 

"Given the specification of an abstract domain,and a program block, our method automatically outputs an implementation of the corresponding abstract transformer. It is thus a form of program transformation. In addition to loop-free code, the same method also applies for obtaining least fixed points as functions of the precondition, which permits the analysis of loops and recursive functions. The motivation of our work is data-flow synchronous programming languages, used for building control-command embedded systems, but it also applies to imperative and functional programming. Our algorithms are based on quantifier elimination and symbolic manipulation techniques over linear arithmetic formulas," wrote D. Monniaux and colleagues.

The researchers concluded: "We also give less general results for nonlinear constraints and nonlinear program constructs."

Monniaux and colleagues published their study in Logical Methods in Computer Science (Automatic Modular Abstractions For Template Numerical Constraints. Logical Methods in Computer Science, 2010;6(3):4).

For additional information, contact D. Monniaux, Center Equat, CNRS VERIMAG, 2 Avenue Vignate, F-38610 Gieres, France.

Note : je reproduis intégralement cet article, malgré l'indication de copyright, car il consiste lui-même essentiellement en une copie du résumé de mon article, par ailleurs publié sous licence libre. Admirons le "Monniaux and colleagues" pour un article avec un seul auteur...