860 search results - page 96 / 172 » A Novel Approach to Parenting in Functional Program Evaluati... |
CG
2002
Springer
13 years 8 months ago
2002
Springer
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
ATC
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
ESOP
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...