PW O'Hearn. A regions interpretation of BI. Manuscript, 1999. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Kripke Resource Models of a Dependently-Typed, Bunched.. - Ishtiaq, Pym (1999) (2 citations) (Correct)
....of the store quite finely. The basis for this conjecture lies in work which uses the internal logic to reason about local global issues in state ful programming. For instance, O Hearn has a nice example of treating the two context extension operators as different kinds of storage allocators [19]. ....
PW O'Hearn. A regions interpretation of BI. Manuscript, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC