1. Syllabus

• Course name: CS310, Principles of Programming Languages
• Effective data of syllabus: Jan 11, 2011
• Site: LCSEE, WVU
• Course number: 10961
• Pre-requisite: successful completion of CS 111, Data Structures
• Course format: 3 credit hours 3 hr lectures, exams, weekly homework
• Textbook:
  • - Michael L. Scott, Programming Language Pragmatics (3rd edition) http://goo.gl/Vzku5.
  • - Paul Graham, ANSI Common LISP http://goo.gl/lDSVp.
• Schedule : Tuesday, Thursday, 1530-1645
• Location : ESB G39
• Instructor name: Tim Menzies Ph.D. ESB 841a, tim@menzies.us. Note: use this for private messages. For most of the class traffic, use the class discussion list
• Consultation times : Tuesday, Thursday 1645 to 1745 or by appointment

Objectives

Overview of different paradigms of programming languages. Detailed studies in object-oriented, functional, and logic programming. Theoretical aspects of programming languages including basic language translation, virtual machines, abstraction mechanisms, declarations and types.

Topics

• Week 1: Overview (1, a)
• Week 2: Grammars (1, a)
• Week 3: Basic language translation (1, a, b)
• Week 4: Virtual machines (1,a,8: (12: Logic Programming (case studies with Prolog) (abck) Week 13)b{) Week 5: Functional programming (cases studies with LISP) (2abck) Week 6: Abstraction Mechanisms 1a Week 7 section ‘9:Object-oriented programming (1abc) Week 10: Declarations and Types (1a) Week 11’ in 14: special topics (ak) @end itemize Note that all the case studies involve translating and executing a high-level specification, written as a variant of an attributed EBNF grammar. Hence, they all contribute to bc ACM curriculum:

This document was generated by timm on January 5, 2011 using texi2html 1.82.