BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ishtiaq:Samin_S=

Contributed to:

POPL 20012001
PPDP 20002000
CSL 19991999

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

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.