Inferring Semantic Interfaces of Data Structures.

Falk Howar, Malte Isberner, Bernhard Steffen, Oliver Bauer, Bengt Jonsson

Browse the full ISoLA paper archive.