4725 search results - page 24 / 945 » Dependence-Based Program Analysis |
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
83
Voted
COLING
1994
15 years 3 months ago
1994
This paper describes a set of computer programs for Chinese corpus analysis. These programs include (1) extraction of different characters, bigrams and words; (2) word segmentatio...
122
Voted
QSIC
2006
IEEE
15 years 8 months ago
2006
IEEE
Aspect-oriented programming (AOP) has been proposed as a technique for improving the separation of concerns in software design and implementation. The field of AOP has, so far, f...
211
Voted
POPL
1999
ACM
15 years 6 months ago
1999
ACM
hought of as abstract interpretation for the heap How we talk about the heap Program var X points to U that has an N field pointing to V We use first order predicate logic ¡...
82
Voted
IFIP
1994
Springer
15 years 6 months ago
1994
Springer