12272 search results - page 130 / 2455 » Experimental program analysis |
136
click to vote
ICFP
2000
ACM
15 years 10 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...
127
click to vote
COLING
1994
15 years 7 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...
224
click to vote
ECOOP
2012
Springer
13 years 8 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
181
click to vote
QSIC
2006
IEEE
16 years 12 days 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...
264
click to vote
POPL
1999
ACM
15 years 10 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 ¡...