BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zarba:Calogero_G=

Contributed to:

FSE 20062006
SEFM 20062006
CADE 20022002

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.