Computational methods and automatic programming