Modular typestate checking of aliased objects.

Kevin Bierhoff Jonathan Aldrich

Published in: OOPSLA (2007)

Keyphrases

d objects
genetic algorithm
moving objects
databases
viewpoint
low resolution
topological properties