Travelled to:
1 × France
Collaborated with:
D.Baldan G.Filé F.Pulvirenti
Talks about:
interpret (1) abstract (1) general (1) method (1) integr (1) simpl (1) stus (1) sic (1)
Person: Nicola Civran
DBLP: Civran:Nicola
Contributed to:
Wrote 1 papers:
- PPDP-1999-BaldanCFP #abstract interpretation
- A Simple and General Method for Integrating Abstract Interpretation in SICStus (DB, NC, GF, FP), pp. 207–223.