4716 search results - page 199 / 944 » Iterative-free program analysis |
150
Voted
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
198
Voted
PASTE
2004
ACM
16 years 14 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
172
click to vote
VL
2002
IEEE
15 years 12 months ago
2002
IEEE
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
208
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present a detailed analysis of the application of Genetic Programming to the evolution of distributed algorithms. This research field has many facets which make...
174
Voted
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. An overview of the concept of program similarity is presented. It divides similarity into two types--syntactic and semantic-and provides a review of eight categories of m...