Miu Har Hon

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for data structures created with the use of pointers and dynamic memory allocation. Examples of such data structures include singly linked list, binary tree, doubly linked list, and(More)
  • 1