6740 search results - page 277 / 1348 » Using Classification as a Programming Language |
244
Voted
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
153
click to vote
KBSE
2010
IEEE
15 years 29 days ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
135
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
130
click to vote
LISP
2008
15 years 2 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
122
Voted
LREC
2010
15 years 4 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...