Sciweavers

10575 search results - page 50 / 2115
» Programming Languages
Sort
View
POPL
2000
ACM
15 years 2 months ago
Temporal Abstract Interpretation
Patrick Cousot, Radhia Cousot
POPL
2000
ACM
15 years 2 months ago
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs
Zhendong Su, Manuel Fähndrich, Alexander Aike...
PLDI
1999
ACM
15 years 2 months ago
Control CPR: A Branch Height Reduction Optimization for EPIC Architectures
Michael S. Schlansker, Scott A. Mahlke, Richard Jo...