Sciweavers

27119 search results - page 221 / 5424
» Languages
Sort
View
POPL
2008
ACM
16 years 5 months ago
Separation logic, abstraction and inheritance
Matthew J. Parkinson, Gavin M. Bierman