Kaninda Musumbu

A Generic Abstract Interpretation Algorithm and its Complexity Analysis.

Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck · International Conference on Lightning Protection · 1991 · 48 citations

Complexity Analysis, Engineering, Abstract Complexity +8

Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains

Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy et al. · International Symposium on Programming Language Implementation and Logic Programming · 1993 · 31 citations

Computational Logic, Constraint Solving, Engineering +9

A Generic Abstract Interpretation Algorithm and its Complexity Analysis (extended abstract)

Baudouin Le Charlier, Kaninda Musumbu, Pascal Van Hentenryck · 1990 · 16 citations

Engineering, Dynamic Dependencies, Well-founded Semantics +19