The Graph Programming Language GP
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
Semantically-based crossover in genetic programming: application to real-valued symbolic regression
Genetic Programming and Evolvable Machines
Examining the landscape of semantic similarity based mutation
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Teaching semantics with a proof assistant: no more LSD trip proofs
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Programming errors in traversal programs over structured data
Science of Computer Programming
| Hi-index | 0.00 |