Title: Automatic verification of programs with complex data structures
Subjects: Computer programs, Data structures (Computer science), Programming languages (Electronic computers), Semantics, Verification