Introduction |
The foundations of programming languages are introduced at an advanced level. Course topics include but are not limited to the foundational and conceptual subtleties in programming language design and implementation, practical aspects in programming language use, the functional programming paradigm, the logic programming paradigm, parallel programming language concepts and constructs, formal specification of syntax and semantics, and techniques for (semi-)automatic correctness analysis of programs.
Course Objectives |
Upon completion of the course the student will be able to
Syllabus |
Computer Accounts |
You will need an account to log on to the Computer Science department machines. If you dont have one, visit the system info site: http://system.cs.fsu.edu/newusers
Schedule, Lecture Notes, and Assignments |
The schedule is pending and will be based on the lecture notes.
Assignments will be posted on a regular basis. All assignments are mandatory and part of the final grade. The assignments, when turned in before or at the due date before midnight will be graded. When turned in late, 5% will be deducted from the project grade per day until the submission has been received, with a maximum extension of five days.
Submit your assignments to the instructor by email. Please send only one email message that includes all sources of your programming assignment, the input and output files (when applicable), and a Makefile. Use the tar utility to compress and archive the material for inclusion as an attachment in the email message (preferably use tar to avoid zipped files from being filtered). Use the email subject line "PROJECT #
" for projects and "HOMEWORK #
" for homework, where # is the homework/assignment number. Also, please include your name and the assignment number in the program source code
Attendance |
First class attendance is mandatory. Attendance during exams is also mandatory unless prior arrangements have been made. Attendance will be recorded. Two unexcused absences are permitted. You will lose the 5% of your final grade for attendance when absent for three or more lectures, unless prior arrangements have been made or for excused absences.
Excused absences include documented illness, deaths in the immediate family and other documented crises, call to active military duty or jury duty, religious holy days, and official University activities. Accommodations for these excused absences will be made and will do so in a way that does not penalize students who have a valid excuse. Consideration will also be given to students whose dependent children experience serious illness.
Academic Honor Policy |
The Florida State University Academic Honor Policy outlines the Universitys expectations for the integrity of students academic work, the procedures for resolving alleged violations of those expectations, and the rights and responsibilities of students and faculty members throughout the process. Students are responsible for reading the Academic Honor Policy and for living up to their pledge to . . . be honest and truthful and . . . [to] strive for personal and institutional integrity at Florida State University. (Florida State University Academic Honor Policy, found at http://dof.fsu.edu/honorpolicy.htm.)
ADA |
Students with disabilities needing academic accommodation should:
(1) register with and provide documentation to the Student Disability Resource Center; and
(2) bring a letter to the instructor indicating the need for accommodation and what type. This should be done during the first week of class.
This syllabus and other class materials are available in alternative format upon request.
For more information about services available to FSU students with disabilities, contact the:
Student Disability Resource Center
97 Woodward Avenue, South
108 Student Services Building
Florida State University
Tallahassee, FL 32306-4167
(850) 644-9566 (voice)
(850) 644-8504 (TDD)
sdrc@admin.fsu.edu
http://www.disabilitycenter.fsu.edu/
Copyright: Robert van Engelen, Florida State University, 2011.
Last modified: