Towards an automated biological programming tool A Minimal Compositional Metalanguage for Specifying Agent Behaviour Proving Properties of Programs Using Automatically Generated Models 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 
