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 × France
1 × The Netherlands
1 × USA
Collaborated with:
E.Marchiori M.Marchiori
Talks about:
program (2) semant (2) logic (2) constraint (1) transform (1) dataflow (1) correct (1) axiomat (1) predic (1) prove (1)

Person: Livio Colussi

DBLP DBLP: Colussi:Livio

Contributed to:

PPDP 19951995
JICSLP 19921992
ICLP 19911991

Wrote 3 papers:

PLILP-1995-ColussiMM #constraints #data flow #logic programming #semantics #source code
A Dataflow Semantics for Constraint Logic Programs (LC, EM, MM), pp. 431–448.
JICSLP-1992-ColussiM #unification
A Predicate Transformer for Unification (LC, EM), pp. 67–81.
ICLP-1991-ColussiM #axiom #correctness #logic programming #proving #semantics #source code #using
Proving Correctness of Logic Programs Using Axiomatic Semantics (LC, EM), pp. 629–642.

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.