Correctness of Data Representations Involving Heap Data Structures

Research output: Contribution to conference (unpublished) › Paper

6 Citations (Scopus)

Original language	English
Pages	223-237
Number of pages	15
Publication status	Published - 1 Jan 2003
Event	Programming Languages and Systems: 12th European Symposium on Programming - Duration: 1 Jan 2003 → …

Conference	Programming Languages and Systems: 12th European Symposium on Programming
Period	1/01/03 → …

Cite this

@conference{0bf87fe54d6443339b988cbc5209032a,

title = "Correctness of Data Representations Involving Heap Data Structures",

author = "Uday Reddy and H Yang",

year = "2003",

month = jan,

day = "1",

language = "English",

pages = "223--237",

note = "Programming Languages and Systems: 12th European Symposium on Programming ; Conference date: 01-01-2003",

}