Full functional verification of linked data structures

K Zee, V Kuncak, M Rinard - ACM SIGPLAN Notices, 2008 - dl.acm.org
We present the first verification of full functional correctness for a range of linked data
structure implementations, including mutable lists, trees, graphs, and hash tables …
被引用次数：248 相关文章
[PDF] mit.edu

[PDF][PDF] Full Functional Verification of Linked Data Structures

K Zee, V Kuncak, MC Rinard - 2008 - cag.lcs.mit.edu
We present the first verification of full functional correctness for a range of linked data
structure implementations, including mutable lists, trees, graphs, and hash tables …

[引用][C] Full functional verification of linked data structures

K Zee, V Kuncak, M Rinard - ACM SIGPLAN Notices - sonar.ch
[PDF] archive.org

[PDF][PDF] Full Functional Verification of Linked Data Structures

K Zee, V Kuncak, MC Rinard - 2008 - scholar.archive.org
We present the first verification of full functional correctness for a range of linked data
structure implementations, including mutable lists, trees, graphs, and hash tables …
[PDF] psu.edu

[PDF][PDF] Full Functional Verification of Linked Data Structures

K Zee, V Kuncak, MC Rinard - 2008 - Citeseer
We present the first verification of full functional correctness for a range of linked data
structure implementations, including mutable lists, trees, graphs, and hash tables …

Full Functional Verification of Linked Data Structures

K Zee, V Kuncak, M Rinard - PLDI'08: Proceedings of the 29th …, 2008 - infoscience.epfl.ch
We present the first verification of full functional correctness for a range of linked data
structure implementations, including mutable lists, trees, graphs, and hash tables …

[引用][C] Full Functional Verification of Linked Data Structures

K ZEE, V KUNCAK, MC RINARD - ACM SIGPLAN notices, 2008 - pascal-francis.inist.fr
Full Functional Verification of Linked Data Structures CNRS Inist Pascal-Francis CNRS
Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …
[PDF] mit.edu

[PDF][PDF] Full Functional Verification of Linked Data Structures

K Zee, V Kuncak, MC Rinard - 2008 - people.csail.mit.edu
We present the first verification of full functional correctness for a range of linked data
structure implementations, including mutable lists, trees, graphs, and hash tables …
[PDF] mit.edu

[PDF][PDF] Full Functional Verification of Linked Data Structures

K Zee, V Kuncak, MC Rinard - 2008 - cag.csail.mit.edu
We present the first verification of full functional correctness for a range of linked data
structure implementations, including mutable lists, trees, graphs, and hash tables …
[PDF] mit.edu

[PDF][PDF] Full Functional Verification of Linked Data Structures

K Zee, V Kuncak, MC Rinard - 2008 - cag-www.lcs.mit.edu
We present the first verification of full functional correctness for a range of linked data
structure implementations, including mutable lists, trees, graphs, and hash tables …