Login / Signup

A Logic of Reachable Patterns in Linked Data-Structures.

Greta YorshAlexander Moshe RabinovichMooly SagivAntoine MeyerAhmed Bouajjani
Published in: FoSSaCS (2006)
Keyphrases