( en | de | ru )

 

Disambiguation of "Musumbu, Kaninda"

Author of the publication

copydeleteadd this publication to your clipboard
Interprétation abstraite des programmes Prolog

. University of Namur, Belgium, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Musumbu, Kaninda
add a person with the name Musumbu, Kaninda
 

Other publications of authors with the same name

Standard Business Rules Language: Why and How?, , and . IC-AI, page 414-419. CSREA Press, (2006)Modèles d'interprétation abstraite de Prolog: quelles structures mathématiques?. JFPL, page 231-241. TEKNEA, (1993)Simulating Security Systems Based on Logigrams.. ICLP, volume 2916 of Lecture Notes in Computer Science, page 498-499. Springer, (2003)Evolution Strategies to Improve Abstract Interpretation Algorithms for Logic Programming, , and . Late Breaking Papers at the 1997 Genetic Programming Conference, Stanford University, CA, USA, Stanford Bookstore, (13--16 July 1997)Interprétation abstraite des programmes Prolog. University of Namur, Belgium, (1990)Failure diagnosis of declarative programs based on abstract interpretation (extended abstract).. CATA, page 431-434. ISCA, (2000)Génération automatique de règles métier par enrichissement sémantique de modèles., , and . INFORSID, page 453-468. (2007)A New Operational Semantics for Prolog.. IICAI, page 251-260. IICAI, (2009)The Semantics of Kalah Game. CoRR, (2009)Failure Analysis Based on Abstract Interpretation., and . Declarative Programming, page 295-309. Springer, (1991)