A Logic of Reachable Patterns in Linked Data-Structures.

Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani

Browse the full FOSSACS paper archive.