4719 search results - page 34 / 944 » Newtonian program analysis |
ICFP
2000
ACM
13 years 12 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
13 years 9 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...
QSIC
2006
IEEE
14 years 1 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...
POPL
1999
ACM
13 years 12 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
13 years 11 months ago
1994
Springer