Sign in
Strong Update, Disposal, and Encapsulation in Bunched Typing.
Josh Berdine
Peter W. O'Hearn
Published in:
MFPS (2006)
Keyphrases
</>
information integration
data mining
information systems
multiscale
information technology
knowledge base
search algorithm