7103 search results - page 459 / 1421 » Program Generation and Components |
130
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
130
Voted
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
137
click to vote
SPAA
2006
ACM
15 years 10 months ago
2006
ACM
Tree contraction algorithms, whose idea was first proposed by Miller and Reif, are important parallel algorithms to implement efficient parallel programs manipulating trees. Desp...
165
click to vote
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
197
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Choosing the right representation for a problem is important. In this article we introduce a linear genetic programming approach for motif discovery in protein families, and we al...