PHALANX: parallel checking of expressive heap assertions.

Martin T. Vechev Eran Yahav Greta Yorsh

Published in: ISMM (2010)

Keyphrases

data structure
knowledge base
parallel implementation
parallel processing
web services
consistency checking
massively parallel
information systems
computer vision
decision making
real time
digital libraries
information retrieval
data mining
depth first search
parallel programming
databases