Advances in programming and non-numerical computation /