heap properties generated by programs and algebraically specified
heap properties generated by programs and algebraically specified

srhb/quickcheck,Warbo/quickcheck,beni55/quickcheck,soenkehahn/quickcheck,nh2/quickcheck