##
*Fall 99, CSE 520: Syllabus*

**Instructor:** Catuscia
Palamidessi

*Email:* firstname@cse.psu.edu

*Office:* 325 Pond

*Office Hours:* Tuesday, Thursday 10:30-11:30, and by appoinment.

*Phone:* 863-3599
**Teaching Assistant:** Deven Nayyar

*Email:* nayyar@cse.psu.edu

*Office:* 331 Pond

*Office Hours:* Monday, Wednesday 10:00-11:00

*Phone:* 865-1582

**Web page: http://www.cse.psu.edu/~catuscia/teaching/cg520/99Fall/
**

**Schedule of lectures: TR, 8:00-9:15 in 119 Boucke
**

**Midterm exam: 19 October 1999, 8:00-9:15 in 119 Boucke
**

**Course Description:**
This course will focus on the Foundations of Sequential and Concurrent Programming Languages.
In particular:

**
****Sequential Programming**
- The Lambda Calculus. Computational Power.
Confluence and Consistency.
- The Typed Lambda Calculus. Polymorphism. The Curry-Howard isomorphism.
- Logic Programming.

**Concurrent Programming**
- A Calculus of Communicating Systems.
- A Calculus of Link Mobility (the pi-calculus). Expressiveness and distributed implementation issues.
- The Chemical Abstract Machine and the Join Calculus.
- A Calculus of Objects.

**
****Assignments and grading:** There will be
6 assignments during the course, a midterm exam (in class)
and a final exam or a research project.
Final grades will be determined on the basis of the
assignments, of the exam(s) and/or of the project, as follows:

- Assignments 40%
- MT exam 30%
- Final exam or project 30%.

The assignments will be both
theoretical and programming exercises.
The languages recommended for the programming exercises are
ML, Prolog or Lambda Prolog.
The language Lambda Prolog will be taught during the course.
ML and Prolog will be briefly introduced during the
course.

Assignments are due at the start of class on the date specified. They
will be accepted after that time until the start of the next class period
with a 20% penalty. *No submission will be accepted after this time.*

**Academic Integrity: **
Although it is reasonable (and even encouraged!)
to discuss with other students the problems of the assignments,
each student is expected to submit only
his own original work, or where applicable,
to cite the source of the solution (books,
articles, and other individuals).