4719 search results - page 34 / 944 » Newtonian program analysis |
ICFP
2000
ACM
15 years 3 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
15 years 3 days 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
15 years 4 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...
150
click to vote
POPL
1999
ACM
15 years 3 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 2 months ago
1994
Springer