Abstract interpretation: a semantics-based tool for program analysis
Handbook of logic in computer science (vol. 4)
Deriving Genetic Programming Fitness Properties by Static Analysis
EuroGP '02 Proceedings of the 5th European Conference on Genetic Programming
Linear Genetic Programming (Genetic and Evolutionary Computation)
Linear Genetic Programming (Genetic and Evolutionary Computation)
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Genetic Programming Crossover: Does It Cross over?
EuroGP '09 Proceedings of the 12th European Conference on Genetic Programming
Improving symbolic regression with interval arithmetic and linear scaling
EuroGP'03 Proceedings of the 6th European conference on Genetic programming
Genetic programming with fitness based on model checking
EuroGP'07 Proceedings of the 10th European conference on Genetic programming
Model checking-based genetic programming with an application to mutual exclusion
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
An interpolation based crossover operator for genetic programming
Proceedings of the 15th annual conference companion on Genetic and evolutionary computation
Hi-index | 0.00 |
This paper presents a novel framework for scalable multi-objective genetic programming. We introduce a new program modeling aiming at facilitating programs' creation, execution and improvement. The proposed modeling allows making symbolic executions in such a way to reduce drastically the time of programs' executions and to allow well-founded programs recombination.