Formal Programming Language Semantics
|Summer, 2008||3 Credits|
|Text:||The Formal Semantics of Programming Languages, An Introduction, by Glynn Winskel, MIT Press|
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.
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.
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.