Showing results 1 to 2 of 2
Separation and information hiding O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM SIGPLAN NOTICES, v.39, pp.268 - 280, 2004-01 |
Separation and Information Hiding O'Hearn, Peter W.; Yang, Hongseok; Reynolds, John C., ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.31, no.3, 2009-04 |
Discover