Sciweavers

16 search results - page 1 / 4
» popl 1998
Sort
View
14
Voted
POPL
1998
ACM
13 years 8 months ago
Fast Interprocedural Class Analysis
Greg DeFouw, David Grove, Craig Chambers
POPL
1998
ACM
13 years 8 months ago
Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs
Christian S. Collberg, Clark D. Thomborson, Dougla...
POPL
1998
ACM
13 years 8 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