Correctness of data representations involving heap data structures

Uday Reddy, H Yang

Research output: Contribution to journalArticlepeer-review

26 Citations (Scopus)
206 Downloads (Pure)
Filter
Paper

Search results

  • 2004

    Parametric limits

    Dunphy, BP. & Reddy, U., 1 Jan 2004, p. 242-253. 12 p.

    Research output: Contribution to conference (unpublished)Paperpeer-review

    Open Access
    File
    16 Citations (Scopus)
    189 Downloads (Pure)
  • 2003

    Correctness of Data Representations Involving Heap Data Structures

    Reddy, U. & Yang, H., 1 Jan 2003, p. 223-237. 15 p.

    Research output: Contribution to conference (unpublished)Paper

    6 Citations (Scopus)