COP5025 Spring 2002 Syllabus

Introduction

In the Programming Language Foundations course the main subject of study are programming languages. The course introduces advanced techniques to describe and analyze program semantics. Among the topics covered are: grammars and syntax, Post systems, static semantics, type inference, lambda calculus, combinatory calculus, term rewriting, denotational semantics, axiomatic semantics, and logic programming in Prolog.

Spring 2002 Schedule and Notes

To see the Spring 2002 schedule and to browse the lecture notes, click here

Grade Book

The grade book is provided by CourseInfo .

Contact Information

Instructor
Robert van Engelen
Office
162 LOV
Phone
(850) 644 9661
Email
engelen@cs.fsu.edu
Office Hours
1:15-2:15pm Tue and Thu
TA/Grader
???

Course Information

Prerequisites
COP4020 and some familiarity with formal logic is helpful but not required.
Textbook
Ryan Stansifer. The Study of Programming Languages
Location
103 LOV, 3:35-4:50pm Mon and Wed
Attendance
Roll is not taken, but you are responsible for all material presented in class.
Exams
Midterm exam (50%) and final exam (50%). Exam dates will be scheduled in advance. A grade of zero will be recorded for missed exams unless prior arrangements have been made.
Assignments
Exercises from the book will be assigned as homework on a regular basis for extra credit. All assignments should be submitted before midnight on the due date. The assignments will count towards a 10% bonus on the total final grade. Late submissions will not be graded. The homework assignments should be completed individually.  Copying another's solution is cheating!  See the Honor Code stated in the Student Handbook for more details.

Miscellaneous

Please advice the instructor of this class at your earliest convenience (minimum of five working days) if you have a disability that will require a reasonable accomodation for any of the activities in the course schedule.

Please notify the Department of Computer Science five working days prior to the event if a reasonable accomodation for a disability is needed: 644 2296 (voice), 644 0058 (fax).

This syllabus and other class materials are available in alternative format upon request.



This page has been automatically generated by the Ctadel system on 2002/1/3 10:37am . Copyright Robert van Engelen