Sciweavers

182
Voted
POPL
2005
ACM
16 years 1 months ago
A semantics for procedure local heaps and its abstractions
Jörg Bauer, Noam Rinetzky, Reinhard Wilhelm, ...