Semantic models and abstract interpretation techniques for inductive data structures and pointers

Alain Deutsch

Browse the full PEPM paper archive.