6960 search results - page 351 / 1392 » Continuity Analysis of Programs |
163
click to vote
VMCAI
2009
Springer
16 years 2 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 ...
205
Voted
PASTE
2004
ACM
16 years 26 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...
178
Voted
VL
2002
IEEE
16 years 10 days 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...
217
Voted
GECCO
2009
Springer
16 years 1 days 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...
189
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...