MC logo
CSc 6505 Sylabus
[^] CSc 6505: Formal Programming Language Semantics

CSc 6505
Formal Programming Language Semantics
Summer, 2008 3 Credits

Instructor: Tom Bennet
Office: 302 MCC
Phone: 925-3815
Email: bennet@mc.edu
Text: The Formal Semantics of Programming Languages, An Introduction, by Glynn Winskel, MIT Press
Web Page: http://sandbox.mc.edu/~bennet/cs6505

In this course, we will survey formal methods of expressiong the semantics (meaning) of programming languages.

We will meet Tuesday and Thursday from 6:00-8:15 (extra half hour) so we can finish by July 17, in 8 weeks instead of 10.


There will be a take-home exam around the middle of June, and another near the end of the course (mid-July). These will be 100 and 150 points, respectively, and will constitute the entire basis of your grade. So don't screw 'em up.

Exercises will be assigned, and later discussed in class, but they will not be graded. I will be glad to give some evaluation of the quality of your solutions if you ask me. This is largely a math course; homework and exams will be concerned mostly with writing proofs.

I don't yet know when the drop date is, since it's not shown on the on-line schedule. We'll find out at some point.


Mississippi College class attendance policies as described on pp. 46 and 47 of the college catalog will be enforced. Absences may be excused for illness or other appropriate cause. Exams missed due to circumstances beyond the student's control may be made up at a mutually agreeable time and place. Adequate documentation of the cause of an absence may be required.

Academic Honesty

Mississippi College regulations regarding the integrity of academic work, policy 2.19 will be enforced. The computer science group has established the following addendum:

In a computer science class individual effort is expected. Student misconduct not only includes cheating on tests, but also extends to copying or collaborating on programming assignments, projects, lab work or research unless otherwise specified by the instructor. Using other people's accounts to do your work or having others do your work is prohibited. Close proximity in lab does not mean collaboration is permitted. NOTE: Discussing logical solutions to problems is acceptable, exchange of code, pseudocode, designs, or procuring solutions from the Web, other texts, the Internet or other resources on or off campus is not acceptable.

First offense: grade of 0 for all parties involved unless the guilty party can be determined. Second offense: grade of F in the course.