Graph Inclusion and Matching Algorithms for Programs Manipulating Singly linked Heaps
Programs that manipulate heaps such as singlylinked lists, doublylinked lists, skiplists, and treesare ubiquitous, and hence ensuring their correctness is of utmost importance. Analysing correctness properties for such programs is not trivial since they induce dynamic data structures, l...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Zakho
2021-03-01
|
| Series: | Science Journal of University of Zakho |
| Subjects: | |
| Online Access: | http://sjuoz.uoz.edu.krd/index.php/sjuoz/article/view/778 |