Kaninda MUSUMBU
Labri - Université Bordeaux 1
351, cours de la Libération
33405 TALENCE Cedex
musumbu@labri.u-bordeaux.fr
Publications
Revue d'audience internationale avec comité de lecture
B. Le Charlier, K.Musumbu and P. van Hentenryck. A generic abstract
interpretation and its complexity analysis.
In K. Furukawa, editor, Proceedings of the Eighth International Conference
on Logic Programming(ICLP'91). Paris, France, June 1991.
page: 64-78
Corsini and K.~Musumbu Type inference: a new approach.
Theoretical Computer Science 119 (1993)23-38.
K.~ Barbar and K. ~Musumbu Implementation of Abstract Interpretation Algorithms by
Means of Atrribute Grammar
IEEE 1994, n 0-8186-5320-5/94
K. Musumbu Sémantique abstraite et Instrumentale pour Prolog
In CARI'94, Ouagadougou, 1994,page 727--742.
Kaninda MUSUMBU Towards a Broader Theory for Abstract Interpretation
GWIC,
E.A.Yfantis(ed),Intelligent Systems,95-108,1995 Kluwer Academic Publishers.
M-M. Corsini, K. Musumbu, A. Rauzy (LaBRI) et B. Le Charlier(FUNDP) Efficient Bottom-up Abstract Interpretation of Prolog by means
of Constraint Solving over Symbolic Finite Domains.
à paraître dans Journal of Logic Programming.
Colloques internationaux avec comité de lecture
M-M. Corsini, K. Musumbu, A. Rauzy The Mu-Calculus over finite domains as an abstract semantics of Prolog.
In M. Billaud et al. editors, WSA'92, Workshop on Static Analysis
(Bordeaux).
M-M. Corsini, K. Musumbu, A. Rauzy (LaBRI) et B. Le Charlier(FUNDP)
Efficient Bottom-up Abstract Interpretation of Prolog by means of Constraint Solving over Symbolic Finite Domains.
Plilp,Tallin, Août 1993.
K. Barbar and K. Musumbu An Optimized Incremental Attribute Algorithm for the abstract
Interpretation of Logic Programs.
In Proceedings of the ISCA international Conference: INTELLIGENT SYSTEMS, Boston, Massachusetts, june 11-13, 1997, page 140.
K. Musumbu, K. Barbar and M. Nassif Evolution Strategies to Improve Abstract Interpretation
Algorithms for Logic Programming
Proc. Genetic Programming 1997 Conference,
Stanford University, July 13-16, 1997, Ed by John R. Koza,
page 165-173.
K. Musumbu Categories Of Abstract Interpretation
Las Vegas, November,
K. Musumbu Veri
News Orleans
Colloques nationaux avec comité de lecture
B. Le Charlier et K. Musumbu.
Une Sémantique Opérationnelle Instrumentale
pour Prolog et son application à la Preuve de Consistance
d'un Modèle d'Interprétation Abstraite.
JFPL'92,Lille, 25-27 Mai, 1992.
K. Musumbu. Modèles d'Interprétation Abstraite de Prolog.
Quelle Structure Mathématiques?
In P.~Ezequel, editor, " Journées Francophones sur la
Programmation en Logique" (JFPL'93),
Nimes-Avignon, 24-26 Mai, 1993. page: 231-241
Séminaires avec comité de lecture
M-M. Corsini and K.~Musumbu. Failure analysis based on abstract interpretation.
In J.~Darlington and R.~Dietrich, editors, "Declarative
Programming" Sasbachwalden, 1991, Workshops in Computing, pages 295--309. Springer Verlag, 1991.
K. ~Musumbu Algorithms of Abstract Interpretation by way of Attribute
Grammars. Communication Internationale.
First COMPULOG-NETWORK SUBGROUP Meeting on Programming Languages.
Pisa, Italie, 6-7 April 1992.
M-M. Corsini, K.~Musumbu, and A.~Rauzy Toupie: a symbolic finite domains constraint language
Post-conference wokshop of the 1992 Joint International Conference
and Symposium on Logic Programming.
G.Canet et K. Musumbu Prelog: Un preprocesseur Prolog
Journées du PRC/GDR, Orleans, 20-22 novembre 1996.