Showing results 1 to 3 of 3
Correctness of Data Representations involving Heap Data Structures Reddy, US; Yang, Hongseok, SCIENCE OF COMPUTER PROGRAMMING, v.50, no.1-3, pp.129 - 160, 2004-03 |
Correctness of data representations involving heap data structures Reddy, US; Yang, Hongseok, PROGRAMMING LANGUAGES AND SYSTEMS, v.2618, pp.223 - 237, 2003 |
On the semantics of refinement calculi Yang, Hongseok; Reddy, US, FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, v.1784, pp.359 - 374, 2000 |
Discover