9626 search results - page 180 / 1926 » Invariant Based Programming |
131
Voted
CP
2005
Springer
15 years 12 months ago
2005
Springer
120
Voted
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
112
Voted
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
205
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
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...