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