Verifying a Copying Garbage Collector in GP 2.
Gia S. WulandariDetlef PlumpPublished in: STAF Workshops (2018)
Keyphrases
- genetic programming
- garbage collection
- symbolic regression
- regression problems
- fitness function
- model checking
- evolutionary algorithm
- grammar guided genetic programming
- evolutionary computation
- databases
- multi objective
- multiscale
- decision making
- information retrieval
- verification method
- sparse approximations
- data sets