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 × Hungary
1 × USA
1 × United Kingdom
Collaborated with:
A.Rauzy K.Musumbu C.Codognet P.Codognet B.L.Charlier
Talks about:
abstract (3) constraint (2) interpret (2) symbol (2) prolog (2) domain (2) logic (2) finit (2) mean (2) calculus (1)

Person: Marc-Michel Corsini

DBLP DBLP: Corsini:Marc=Michel

Facilitated 2 volumes:

WSA 1992Ed

Contributed to:

ESOP 19941994
ICLP 19931993
PLILP 19931993
WSA 19921992
NACLP 19901990

Wrote 5 papers:

ESOP-1994-CorsiniR #constraints #logic programming #model checking
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization (MMC, AR), pp. 180–194.
ICLP-1993-CorsiniR #analysis #fault #safety
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers (MMC, AR), p. 834.
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.
NACLP-1990-CodognetCC #abstract interpretation #concurrent #logic
Abstract Interpretation for Concurrent Logic Languages (CC, PC, MMC), pp. 215–232.

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.