8 search results - page 1 / 2 » aplas 2000 |
APLAS
2000
ACM
13 years 9 months ago
2000
ACM
APLAS
2000
ACM
13 years 9 months ago
2000
ACM
APLAS
2011
ACM
12 years 4 months ago
2011
ACM
We present a new SPAS (ScalablePAth-Sensitive)framework for resolving points-to sets in C programs that exploits recent advances in pointer analysis. SPAS enables intraprocedural p...
APLAS
2000
ACM
13 years 9 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
APLAS
2000
ACM
13 years 9 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...