“Programs, after all, are concrete formulations
of abstract algorithms based on particular representations and structures
of data.”