{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Syllabus - CSE 755 Programming Languages Winter 2005...

Info icon This preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
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 protected] , 292-7203 Instructor’s office hours: DL 685, Tuesday 2:00 pm – 3:30 pm, Friday 10:00 am – 11:30 am, or by appointment Grader: Xiaogang Li, [email protected] , 292-4634 Grader’s 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
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
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.
Image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern