Sciweavers

932 search results - page 3 / 187
» Analysis and Optimization of CHR Programs
Sort
View
PLDI
1993
ACM
13 years 11 months ago
Isolation and Analysis of Optimization Errors
Mickey R. Boyd, David B. Whalley
CORR
2011
Springer
150views Education» more  CORR 2011»
13 years 2 months ago
Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
Mohamed A. El-Zawawy