4725 search results - page 24 / 945 » Dependence-Based Program Analysis |
ICFP
2000
ACM
15 years 1 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...
COLING
1994
14 years 10 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...
79
Voted
QSIC
2006
IEEE
15 years 3 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...
120
click to vote
POPL
1999
ACM
15 years 1 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 ¡...
IFIP
1994
Springer
15 years 1 months ago
1994
Springer