10899 search results - page 501 / 2180 » The GP Programming System |
210
click to vote
MSR
2006
ACM
16 years 29 days ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
201
click to vote
ICLP
2005
Springer
16 years 16 days ago
2005
Springer
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
180
click to vote
CC
2005
Springer
16 years 14 days ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
214
click to vote
CC
2004
Springer
16 years 13 days ago
2004
Springer
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
188
click to vote
LOPSTR
2004
Springer
16 years 11 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...