#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1998

2002

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Samin S. Ishtiaq, Peter W. O'Hearn
- POPL
- 2001

Reynolds has developed a logic for reasoning about mutable data structures in which the pre- and postconditions are written in an intuitionistic logic enriched with a spatial form of conjunction. We investigate the approach from the point of view of the logic BI of bunched implications of O'Hearnand Pym. We begin by giving a model in which the law of the… (More)

- Samin S. Ishtiaq, David J. Pym
- J. Log. Comput.
- 1998

Linear and other relevant logics have been studied widely in mathematical, philosophical and computational logic. We describe a logical framework, RLF, for defining natural deduction presentations of such logics. RLF consists in a language together, in a manner similar to that of Harper, Honsell and Plotkin’s LF, with a representation mechanism: the… (More)

- Cristiano Calcagno, Samin Ishtiaq, Peter W. O’Hearn
- 2000

! ! #" "$ % & ' () *$ " + , -+ * . $ $(/ 10' 23 4 56 798: ;0' ) $ < = > # . ? # @% # . . $ # ? 9 "$"$ A # , ?-# * B C ."! @+

- Samin S. Ishtiaq, David J. Pym
- J. Log. Comput.
- 2002

- Samin S. Ishtiaq, David J. Pym
- CSL
- 1999

Bornat has recently described an approach to reasoning about pointers, building on work of Morris. Here we describe a semantics that validates the approach, and use it to help devise axioms for operations that allocate and dispose of memory.

- ‹
- 1
- ›