Data Refinement with Low−level Pointer Operations
Ivana Mijajlovic and Hongseok Yang
Address
Tsukuba
Book Title
Proceedings of the 3rd Asian Symposium on Programming Languages and Systems
ISBN
3−540−29735−9
Month
November
Pages
19–36
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
3780
Year
2005