This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: CSE 755 Programming Languages Winter 2005 Syllabus Atanas Rountev Course Summary This is a course on the theory of programming languages. The goal is to study formal ways of defining the syntax and semantics of programming languages. The main topics are attribute grammars, axiomatic semantics, and operational semantics. In addition to these topics, we will cover some functional program- ming and some issues in type systems. This is a fairly theoretical course, and it requires understanding and applying various formalisms in the context of programming languages. Prerequisites CSE 625: Introduction to Automata and Formal Languages, and CSE 655: Introduction to the Principles of Programming Languages. This is a course from the graduate core (together with 725, 760, 775, and 780), and the level of difficulty is relatively high. If you are an undergraduate student with strong math abilities and willingness to do graduate-level work, you should do OK; if not, you should probably not take this course. If you are a graduate student in another department, you must have in-depth experience with imperative and object-oriented programming, and some background in formal languages and automata. General Information Credits: 3 Place and Time: MWF 8:30 am 9:18 am, Bolz Hall (BO), room 428 Instructor: Atanas (Nasko) Rountev, email@example.com , 292-7203 Instructors office hours: DL 685, Tuesday 2:00 pm 3:30 pm, Friday 10:00 am 11:30 am, or by appointment Grader: Xiaogang Li, firstname.lastname@example.org , 292-4634 Graders office hours: DL 778, Wednesday 1:00 pm 2:30 pm, or by appointment Course web page: http://www.cse.ohio-state.edu/~rountev/755 Course newsgroup: cis.course.cis755 1 Topics Attribute Grammars Operational Semantics for Lisp Axiomatic Semantics Operational Semantics Type Systems Other Topics Objectives The principal course objective is to discuss ways to define formally the syntax and semantics of program- ming languages. We will also talk about programming methodologies (e.g., functional programming). Upon successful completion of the course, students will be able to: Understand the role of certain theoretical formalisms, and apply them in the context of programming languages....
View Full Document
- Winter '05