Sciweavers

16 search results - page 1 / 4
» popl 1998
Sort
View
100
Voted
POPL
1998
ACM
15 years 5 months ago
Array SSA Form and Its Use in Parallelization
Kathleen Knobe, Vivek Sarkar
108
Voted
POPL
1998
ACM
15 years 5 months ago
From Polyvariant Flow Information to Intersection and Union Types
Jens Palsberg, Christina Pavlopoulou
POPL
1998
ACM
15 years 5 months ago
Fast Interprocedural Class Analysis
Greg DeFouw, David Grove, Craig Chambers
POPL
1998
ACM
15 years 5 months ago
Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs
Christian S. Collberg, Clark D. Thomborson, Dougla...
139
Voted
POPL
1998
ACM
15 years 5 months ago
Local Type Inference
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...
Benjamin C. Pierce, David N. Turner