There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support efļ...
ā Genetic programming is the usage of the paradigm of survival of the ļ¬ttest in scientiļ¬c computing. It is applied to evolve solutions to problems where dependencies between ...
Code libraries are characterized by feature-richness ā and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...