Shape analysis for composite data structures
بنية البيانات والخوارزميات