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, 1420-1520 or by previous appointment.
Teaching Assistant: Jiangbo Dang
Office A114, 300 Main, phone number 777-3421, dangj@cse.sc.edu,
Office Hours: MW 1600-1700

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. A local copy of the simplesem interpreter is available as a zip archive (simple.zip) at ftp://ftp.cse.sc.edu/pub/valtorta/.

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.