Computer Science 203
Programming Languages
cmps203 (63653)

Instructor:: Prof. Allen Van Gelder (avg @ cse.ucsc.edu); Phone: (831) 459-4611 (Lab 459-4160); Office: 355 Engineering II (Lab 386); Office Hours: Mon., Wed. 3:30-5, plus drop-in or appt.

Primary Textbook:: Programming Languages, Principles and Practice, 2nd Ed.; by Kenneth C. Louden (3rd printing of 2nd Ed. has more errata fixed); Students should already be familiar with most of Chs. 1-5 and parts of other chapters.; By the end of the course, students should be familiar with most of Chs. 1-12.

Software:: ESCJAVA2 is in this directory, which is /cse/classes/cmps203/Spring06.; Some java starter code from Algorithms book:; Please click here to see Supplements; Sicstus prolog: ssh swan, then run /projects/slvg21/avg/SICStusI/bin/sicstus; User manual is /projects/slvg21/avg/SICStusI/{sicstus-3.12.3.ps,sicstus.pdf}.; Do not print the whole manual, it is hundreds of pages.

Other Texts (for reference, no assignments):: See reserve list in Science Library; Authors: Winskel; Stansifer; Sethi; C: An Advanced Introduction, ANSI C Edition; by Narain Gehani

Preparation: Students should have some background in computational models (CMPS 130), algorithms (CMPS 201), and logic (CMPE 16, CMPS 101, Math 100).

Course Overview: We will study several programming languages, emphasizing how well (or poorly) they support proofs of correctness. Details depend on how many are in the class. Expect to write several programs and several proofs and give a presentation.

Main language groups and examples: Imperative Programming (C, fortran, matlab), Functional Programming (lisp, ml), Logic Programming (prolog), Object-Oriented Programming (java, C++), Shell Programming (csh, awk, perl, python).

Spring 2006 Class Handouts

Handouts and other files. The syllabus is ho01.ps or ho01.pdf when it gets there, not yet.
Do Not run lpr at school on a pdf file or on a ps.gz file. Use the ps file.

Spring 2006 Class Project

Shared files for 203 projects.

Key Dates, A.Y. 2005-06.

Registrar web page.

SOE Class Search.

Simplified access to Registrar web page.

Questions regarding about page content should be directed to

webmaster@cse.ucsc.edu
Last modified Tuesday, 04-Apr-2006 02:06:05 PDT.