Demo Data from EDBT 2026 / reviewers in the wild / expert
Wim Simoens
dblp:58/6478
· DBLP profile ↗
3ranked-venue papers
0as first author
0since 2021 · last 1996
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3Theory of computation · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 91% Programming languages and type systems · 9% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › static analysis
abstract interpretation |
0.0 | 1 | 1996 | Global Analysis of Constraint Logic Programs · ACM Trans. Program. Lang. Syst. 1996 |
Program analysis
data flow analysis |
0.0 | 1 | 1996 | Global Analysis of Constraint Logic Programs · ACM Trans. Program. Lang. Syst. 1996 |
Programming languages and type systems › logic programming
constraint logic programming |
0.0 | 1 | 1996 | Global Analysis of Constraint Logic Programs · ACM Trans. Program. Lang. Syst. 1996 |
Methods — techniques the papers use, named apart from their topics
fix-point algorithm · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1996 | Global Analysis of Constraint Logic ProgramsabstractThis article presents and illustrates a practical approach to the dataflow analysis of constraint logic programming languages using abstract interpretation. It is first argued that, from the framework point of view, it suffices to propose relatively simple extensions of traditional analysis methods which have already been proved useful and practical and for which efficient fixpoint algorithms exist. This is shown by proposing a simple extension of Bruynooghe's traditional framework which allows it to analyze constraint logic programs. Then, and using this generalized framework, two abstract domains and their required abstract functions are presented: the first abstract domain approximates definiteness information and the second one freeness. Finally, an approach for combining those domains is proposed. The two domains and their combination have been implemented and used in the analysis of CLP( R ) and Prolog-III applications. Results form this implementation showing its performance and accuracy are also presented. Maria Garcia de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens |
ACM Trans. Program. Lang. Syst. | 6 |
| 1995 | On the Practicality of Abstract Equation Systems
Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe |
ICLP | 2 |
| 1994 | On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs
Gerda Janssens, Wim Simoens |
CC | 2 |