A Logic-Based Framework for Reasoning about Composite Data Structures.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Browse the full CONCUR paper archive.