Correctness of Data Representations involving Heap Data Structures
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
2004
|
| _version_ | 1826261607998554112 |
|---|---|
| author | Reddy, U Yang, H |
| author_facet | Reddy, U Yang, H |
| author_sort | Reddy, U |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T19:24:03Z |
| format | Journal article |
| id | oxford-uuid:1b1c88e9-64cf-4a53-8cde-ee20895c6e5b |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:24:03Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | oxford-uuid:1b1c88e9-64cf-4a53-8cde-ee20895c6e5b2022-03-26T10:58:33ZCorrectness of Data Representations involving Heap Data StructuresJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:1b1c88e9-64cf-4a53-8cde-ee20895c6e5bDepartment of Computer Science2004Reddy, UYang, H |
| spellingShingle | Reddy, U Yang, H Correctness of Data Representations involving Heap Data Structures |
| title | Correctness of Data Representations involving Heap Data Structures |
| title_full | Correctness of Data Representations involving Heap Data Structures |
| title_fullStr | Correctness of Data Representations involving Heap Data Structures |
| title_full_unstemmed | Correctness of Data Representations involving Heap Data Structures |
| title_short | Correctness of Data Representations involving Heap Data Structures |
| title_sort | correctness of data representations involving heap data structures |
| work_keys_str_mv | AT reddyu correctnessofdatarepresentationsinvolvingheapdatastructures AT yangh correctnessofdatarepresentationsinvolvingheapdatastructures |