CSCE 330: Programming Language Structures

Prerequisites: CSCE 245

Instructor: Marco Valtorta
Office: Swaeringen 3A55, 777-4641
E-mail: mgv@cse.sc.edu
Office Hours: MWF, 1100-1200 or by previous appointment.
Teaching Assistant: Ravi Katpelly
Office 139C, 300 Main, phone number TBD, katpelly@cse.sc.edu,
Office Hours: Tuesday, 14:00-15:00, Thursday 14:00-15:00

Syllabus

Grading Policy

Reference materials:

Ghezzi, Carlo and Mehdi Jazayeri. Programming Language Concepts. Wiley, 1998 (required text, referred to as [G]). Supplementary materials from the authors, including an errata list, are available.

Ullman, Jeffrey D. Elements of ML Programming: ML97 Edition. Prentice-Hall, 1998 (required text, referred to as [U]). Supplementary materials from the author, including an errata list, are available.

• Categorize a language as imperative (procedural), functional (applicative) or declarative (logic).
• Understand and use syntax descriptions in EBNF. {homework, tests}
• Explain the procedural semantics of procedural languages and the denotational semantics of procedural languages.
• Write code in functional and logic languages (e.g., ML and Prolog).
• Introduce formal methods for the description of programming languages.
• Develop an understanding of the organization of programming languages and the run-time behavior of programs.
• Introduce languages which illustrate a wide variety of approaches to programming language design and implementation.
• Provide an opportunity to use a variety of different computer environments.

• Introduce a functional and a logic programming language;
• Provide a comparative overview of programming languages and their features;
• Describe (semi-)formally syntax and semantics of programming language constructs.
• Study the run-time behavior of block-oriented, statically-typed imperative languages.