A unified memory model for pointers (2005)

by Harvey Tuch , Gerwin Klein
Venue:12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12), volume 3835 of LNCS
Citations:7 - 4 self