Travelled to:1 × Spain
1 × United Kingdom
Collaborated with:P.W.O'Hearn D.J.Pym C.Calcagno
Talks about:structur (1) calculus (1) resourc (1) pointer (1) languag (1) analysi (1) semant (1) mutabl (1) dispos (1) depend (1)
Person: Samin S. Ishtiaq
DBLP: Ishtiaq:Samin_S=
Contributed to:
2001
2000
1999Wrote 3 papers:
- POPL-2001-IshtiaqO #data type
- BI as an Assertion Language for Mutable Data Structures (SSI, PWO), pp. 14–26.
- PPDP-2000-CalcagnoIO #alias #analysis #hoare #logic #pointer #semantics
- Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292 (CC, SSI, PWO), pp. 190–201.
- CSL-1999-IshtiaqP #modelling #λ-calculus
- Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (SSI, DJP), pp. 235–249.