Travelled to:
1 × Korea
Collaborated with:
A.Cohen P.Feautrier
Talks about:
instancewis (1) abstract (1) vector (1) domain (1) beyond (1) relat (1) iter (1)
Person: Pierre Amiranoff
DBLP: Amiranoff:Pierre
Contributed to:
Wrote 1 papers:
- SAS-2006-AmiranoffCF #abstract domain #relational
- Beyond Iteration Vectors: Instancewise Relational Abstract Domains (PA, AC, PF), pp. 161–180.