95
Voted
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...