860 search results - page 36 / 172 » A Novel Approach to Parenting in Functional Program Evaluati... |
QSIC
2006
IEEE
14 years 2 months ago
2006
IEEE
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
JUCS
2006
13 years 8 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
LCTRTS
2010
Springer
13 years 6 months ago
2010
Springer
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...