Essays about: "Ran Ji"

Found 1 essay containing the words Ran Ji.

  1. 1. Automatic Verification of Dynamic Data-Dependent Programs

    University essay from Institutionen för informationsteknologi

    Author : Ran Ji; [2009]
    Keywords : ;

    Abstract : 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