Full functional verification of linked data structures (2008)

by Karen Zee , Viktor Kuncak , Martin C. Rinard
Venue:In ACM Conf. Programming Language Design and Implementation (PLDI
Citations:84 - 17 self

Document Versions

Full functional verification of linked data structures –Karen Zee, Viktor Kuncak, Martin C. Rinard — 2008 — In ACM Conf. Programming Language Design and Implementation (PLDI
Full functional verification of linked data structures –Karen Zee, Viktor Kuncak, Martin C. Rinard — 2008 — In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI’08