`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:

### 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.