7 search results - page 2 / 2 » sigsoft 1994 |
SIGSOFT
1994
ACM
15 years 2 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
SIGSOFT
1994
ACM
15 years 2 months ago
1994
ACM
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...