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 …
K Zee, V Kuncak, MC Rinard - 2008 - users.csc.calpoly.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 …
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 …
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 …
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 …
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 …
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 …
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 …
K Zee, V Kuncak, MC Rinard - 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 …