6960 search results - page 351 / 1392 » Continuity Analysis of Programs |
111
click to vote
VMCAI
2009
Springer
15 years 11 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 ...
151
click to vote
PASTE
2004
ACM
15 years 10 months 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...
114
Voted
VL
2002
IEEE
15 years 9 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...
154
click to vote
GECCO
2009
Springer
15 years 9 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...
134
click to vote
DAGSTUHL
2006
15 years 6 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...