Deadlock Preventive Adaptive Wormhole Routing on k-ary n-cube Interconnection Networks

Genetic Programming with Polymorphic Types and Higher-Order Functions

An Abstraction-Based Genetic Programming System

Parks Canada Secret Sauxe

Towards an automated biological programming tool

Proving Properties of Programs Using Automatically Generated Models