Christopher M. Malone

• Knowledge-based compiler generation and logic programming