1031 search results - page 112 / 207 » codes 2004 |
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
75
Voted
OOPSLA
2004
Springer
15 years 4 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
PADL
2004
Springer
15 years 4 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
89
Voted
PPSN
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We present an island model that uses different representations in each island. The model transforms individuals from one representation to another during migrations. We ...
72
Voted
SCN
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Span programs provide a linear algebraic model of computation. Monotone span programs (MSP) correspond to linear secret sharing schemes. This paper studies the properties...