Travelled to:1 × Denmark
1 × India
1 × USA
Collaborated with:S.Ranise ∅ D.Kapur R.Majumdar
Talks about:structur (1) procedur (1) multiset (1) interpol (1) theori (1) extens (1) combin (1) singl (1) integ (1) decis (1)
Person: Calogero G. Zarba
DBLP: Zarba:Calogero_G=
Contributed to:
2006
2006
2002Wrote 3 papers:
- FSE-2006-KapurMZ #data type
- Interpolation for data structures (DK, RM, CGZ), pp. 105–116.
- SEFM-2006-RaniseZ #formal method
- A Theory of Singly-Linked Lists and its Extensible Decision Procedure (SR, CGZ), pp. 206–215.
- CADE-2002-Zarba #integer #multi
- Combining Multisets with Integers (CGZ), pp. 363–376.