CSE 535: Programming Languages and Compilers –
Fall 2010
Instructor:
Name: Lunjin Lu
Office: DHE108 (Oakland University)
Phone: (248) 370-2225
E-Mail: lunjin@acm.org
Web homepage URL: http://www.oakland.edu/~L2LU
Course Description:
Modern topics in programming languages such as: aspect-oriented programming,
constraint programming, logic programming, formal syntax and operational
semantics. Aspects of language compilation such as: lexical analysis, syntactic
analysis and translation. Pr-requisite: CSE 335 or CSE 505, 506 and 507.
Course Objectives:
Tentative topics to be covered in the Fall semester of 2010 includes
1.
2.
3.
4.
5.
Syntax
Operational semantics
(Constraint) logic programming
Lexical and Syntactic analyses
Static program analysis
Course materials:
[NN] Hanne Riis Nielson and Flemming Nielson: Semantics with applications – A
formal introduction, Available at
http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html.
[NNH] Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of
Program Analysis. Springer, (450 pages, ISBN 3-540-65410-0), 1999. A
web-based analysis engine PAG/WWW is accessible from http://pag.cs.unisb.de. (Required)
[NM] Ulf Nilsson and Jan Maluszynski: Logic, Programming and Prolog 2nd
edition, http://www.ida.liu.se/~ulfni/lpp.
[MS] Kim Marriott and Peter Stuckey: Programming with Constraints: An
Introduction. MIT Press, ISBN: 0262133415, 1999
[AA] Andrew W. Appel, Modern Compiler Implementation in Java. Cambridge
University Press, ISBN 0-521-58388-8, 1998.
[SK] Ken Slonneger and Barry L. Kurtz: Formal Syntax and Semantics of Programming Languages:
A Laboratory-Based Approach. Available online at
http://www.cs.uiowa.edu/~slonnegr/plf/Book/.
Assessment:
Students are assessed based on assignments and projects they are given. There
also will be a term paper which is to be presented at the end of the course..
Attendance:
Attendance is expected. You are responsible for anything you missed due to your
absence.
Important Dates:
Lecture hours: 5:30-7:17PM, MW
Class room: DHE 236
Office hours: 1:30-3:00PM Thursday
Tentative Schedule
Date
September 8,13
15,20
22, 27,29, October 4,6
11,13,18,20,25,27,
November 1, 3
November 8
10,15,17,22,24
Topic
Formal Syntax
Lexical & Syntactic Analysis
Operational Semantics
Static Program Analysis
Mid-term
Logic/Constraint Programming
29, December 1 Presentation
Remark
Chapter 1 of SK
Chapters 1&2 of NN
Chapters 2&3 of AA
NNH
Chapters 1-5 of NM, Chapters
4 and 8 of MS