BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × India
Collaborated with:
M.Corsini A.Rauzy B.L.Charlier P.V.Hentenryck
Talks about:
abstract (3) interpret (2) prolog (2) domain (2) finit (2) constraint (1) algorithm (1) logigram (1) calculus (1) generic (1)

Person: Kaninda Musumbu

DBLP DBLP: Musumbu:Kaninda

Facilitated 2 volumes:

WSA 1992Ed

Contributed to:

ICLP 20032003
PLILP 19931993
WSA 19921992
ICLP 19911991

Wrote 5 papers:

ICLP-2003-Musumbu #security #simulation
Simulating Security Systems Based on Logigrams (KM), pp. 498–499.
PLILP-1993-CorsiniMRC #abstract interpretation #bottom-up #constraints #finite #performance #prolog #theorem proving
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains (MMC, KM, AR, BLC), pp. 75–91.
WSA-1992-CorsiniMR #calculus #finite #prolog #semantics #μ-calculus
The μ-Calculus over Finite Domains as an Abstract Semantics of Prolog (MMC, KM, AR), pp. 51–59.
ICLP-1991-CharlierMH #abstract interpretation #algorithm #analysis #complexity
A Generic Abstract Interpretation Algorithm and its Complexity Analysis (BLC, KM, PVH), pp. 64–78.
WSA-1991-Musumbu #french
Interprétation abstraite au moyen de grammaires attribuées (KM), pp. 144–150.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.