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