Computer Science 431: Programming Languages Concepts (Spring 2004)

Instructor:	John Tang Boyland (boyland@cs.uwm.edu)
Place:	EMS E237
Time:	T 4:00pm-6:40pm

Please send comments or questions at any time to the instructor at boyland@cs.uwm.edu.

Announcements

I'll be available Thursday most of the time so you can pick up Homework #13 written part. Phone (229-6986) or email (boyland@uwm.du) if you want to make sure I'm there.
Homework #13 written part is graded. Solution to programming part is installed (as poly.hs), and example interactive program installed (as program.hs). Sample ``grep'' program installed (as grep.hs). Solutions are in /afs/cs.uwm.edu/users/classes/cs431/solutions/homework13/ (2004/5/18 10:25pm)
Graduate students will write a 500-1000 word essay describing how this course fits into their graduate education: why are you taking 431, and what does it provide for your degree?
Final exam will be held May 21, 2004 (3pm) (Same room)

Official Course Description

Programming Languages Concepts. 3 cr. U/G. Examination of abstract features of languages. Study of syntactic and semantic models; design and programming in procedural, object-oriented, functional and logical languages. Implementation methods. Prereq: soph st; grade of C or better in CompSci 252(P)

Textbooks

The required textbook for the course is

Adam Webber. Modern Programming Languages: A Practical Introduction. Franklin, Beedle and Associates, Inc., 2003.

Copies of this textbook should be available at UWM bookstore and at Panther bookstore.

Course Handouts

The following handouts are available

Syllabus in HTML and Postscript

Homeworks

#1	#2	#3	#4	#5	#6	#7	#8	#9	#10	#11	#12	#13	#14
HTML	HTML	HTML	HTML	HTML	HTML	HTML	HTML	HTML	HTML	HTML	HTML	HTML	HTML
PS	PS	PS	PS	PS	PS	PS	PS	PS	PS	PS	PS	PS	PS
	FAQ	FAQ	FAQ		FAQ	FAQ	FAQ		FAQ	FAQ	FAQ	FAQ

Sample exam questions

midterm final
HTML HTML

No solution will be posted! But you may come to my office hours to check your answers.

midterm	final
HTML	HTML

Documentation

The follow links provide additional documentation:

Dr. Webber's slides for the textbook.
AFS
If you install AFS on your home computer, you will probably want to turn on encryption of file transfer. Use "fs setcrypt on" in your AFS startup script (if UNIX-based). In Windows, as far as I know, you have to do this manually every time AFS is started up again (e.g. on reboots).
Java
ML Tutorials
Emacs mode for SML
Site for downloading SWI-Prolog
a Haskell tutorial, HUGS: a Haskell implementation. Explanation of HUGS error messages

Last modified: May 19, 2004

boyland@cs.uwm.edu