Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Veroniek Dumortier

dblp:98/895 · DBLP profile ↗
← Back
3ranked-venue papers
2as 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 · 3 · 2 first-authorTheory of computation · 2 · 2 first-author

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

TopicWeightPapersLastEvidence papers
Program analysis › static analysis
abstract interpretation
0.011996
Global Analysis of Constraint Logic Programs · ACM Trans. Program. Lang. Syst. 1996
Program analysis
data flow analysis
0.011996
Global Analysis of Constraint Logic Programs · ACM Trans. Program. Lang. Syst. 1996
Programming languages and type systems › logic programming
constraint logic programming
0.011996
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
YearPublicationVenuePosition
1996 Global Analysis of Constraint Logic Programs
abstract
This 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.4
1994 Towards a Practical Full Mode Inference System for CLP(H, N)
Veroniek Dumortier, Gerda Janssens
ICLP1
1993 Freeness Analysis in the Presence of Numerical Constraints
Veroniek Dumortier, Gerda Janssens, Maurice Bruynooghe, Michael Codish
ICLP1