Kaninda Musumbu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier: Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. PLILP 1993: 75-91

5 Marc-Michel Corsini, Kaninda Musumbu: Type Inference in Prolog: A New Approach. Theor. Comput. Sci. 119(1): 23-38 (1993)

4 Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy: The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA 1992: 51-59

3 Marc-Michel Corsini, Kaninda Musumbu: Failure Analysis Based on Abstract Interpretation. Declarative Programming 1991: 295-309

Selection of 4 from 19 records - Kaninda Musumbu has 7 coauthors

6		Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier: Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. PLILP 1993: 75-91
5		Marc-Michel Corsini, Kaninda Musumbu: Type Inference in Prolog: A New Approach. Theor. Comput. Sci. 119(1): 23-38 (1993)
4		Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy: The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA 1992: 51-59
3		Marc-Michel Corsini, Kaninda Musumbu: Failure Analysis Based on Abstract Interpretation. Declarative Programming 1991: 295-309