2343 search results - page 160 / 469 » Structure and Interpretation of Computer Programs |
171
click to vote
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
140
Voted
APCSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
168
click to vote
WABI
2010
Springer
15 years 3 months ago
2010
Springer
Background: Although many RNA molecules contain pseudoknots, computational prediction of pseudoknotted RNA structure is still in its infancy due to high running time and space con...
161
click to vote
EUROGP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We discuss here empirical comparation between model selection methods based on Linear Genetic Programming. Two statistical methods are compared: model selection based on ...
196
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...