Essays about: "Ran Ji"
Found 1 essay containing the words Ran Ji.
-
1. Automatic Verification of Dynamic Data-Dependent Programs
University essay from Institutionen för informationsteknologiAbstract : We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and the edges reflect the pointer structure between the cells of the heap. Each cell contains a set of variables which range over the natural numbers. READ MORE
Result pages:
1