218 search results - page 32 / 44 » A Multi-level Approach to Program Synthesis |
ICCAD
2007
IEEE
13 years 11 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Classical Evolutionary Programming (CEP) and Fast Evolutionary Programming (FEP) have been applied to realvalued function optimisation. Both of these techniques directly evolve th...
ICSE
2003
IEEE-ACM
14 years 27 days ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
A coevolutionary competitive learning environment for two antagonistic agents is presented. The agents are controlled by a new kind of computational network based on a compartment...