Samin S. Ishtiaq

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Samin S. Ishtiaq, David J. Pym
Kripke Resource Models of a Dependently-typed, Bunched λ-calculus. J. Log. Comput. 12 (6) (2002)
Samin S. Ishtiaq, Peter W. O'Hearn
BI as an Assertion Language for Mutable Data Structures. POPL (2001)
Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn
Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. PPDP (2000)
Samin S. Ishtiaq, David J. Pym
Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. CSL (1999)
Samin S. Ishtiaq, David J. Pym
A Relevant Analysis of Natural Deduction. J. Log. Comput. 8 (6) (1998)