| |
| 2002 | ||
|---|---|---|
| 5 | EE | Samin S. Ishtiaq, David J. Pym: Kripke Resource Models of a Dependently-typed, Bunched [lgr]-calculus. J. Log. Comput. 12(6): 1061-1104 (2002) |
| 2001 | ||
| 4 | Samin S. Ishtiaq, Peter W. O'Hearn: BI as an Assertion Language for Mutable Data Structures. POPL 2001: 14-26 | |
| 2000 | ||
| 3 | EE | Cristiano Calcagno, Samin S. Ishtiaq, Peter W. O'Hearn: Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292. PPDP 2000: 190-201 |
| 1999 | ||
| 2 | Samin S. Ishtiaq, David J. Pym: Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. CSL 1999: 235-249 | |
| 1998 | ||
| 1 | Samin S. Ishtiaq, David J. Pym: A Relevant Analysis of Natural Deduction. J. Log. Comput. 8(6): 809-838 (1998) | |
| 1 | Cristiano Calcagno | [3] |
| 2 | Peter W. O'Hearn | [3] [4] |
| 3 | David J. Pym | [1] [2] [5] |