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: Colussi:Livio
Contributed to:
1995
19921991Wrote 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.