Essays about: "Muhsin Atto"

Found 1 essay containing the words Muhsin Atto.

  1. 1. Implementing Order Relations on Graphs

    University essay from Institutionen för informationsteknologi

    Author : Muhsin Atto; [2009]
    Keywords : ;

    Abstract : The design of automatic verification methods for programs manipulating dynamic data structures is a challenging problem. We consider programs that operate on a data structures with one next-pointer, such as singly linked lists and circular lists. We refer to such data structures as heaps. READ MORE