Fall 99, CSE 520: Science of Computer Programming