fpst@hubcap.UUCP (09/02/87)
I am trying to layout a junior level course which would be a "theory" course in preparation for three subject areas: compiler sequence, computability sequence, and "verification of programs" course. Questions: What should such a course emphasize? Give me 10 "facts" the students must know when they leave the course. Give me some (~10 - 15) subject headings. Don't worry about sequence or prerequistes unless absolutely necessary. Send directly to me and I'll summarize and repost. -- Steve Stevenson fpst@hubcap.clemson.edu (aka D. E. Stevenson), fpst@clemson.csnet Department of Computer Science, comp.hypercube Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell