CSE 891: Advanced Programming Languages and Software Engineering

Documents:

• Syllabus
• Tentative reading list
• Programming projects
• Lecture notes

Assigned readings:

• Revised report on Algol 60
• Composition of Semantics in Algol68
• Axiomatic Semantics (chapter 11 in Formal Syntax and Semantics of Programming Languages)
• Reursive Functions of Symbolic Expressions and their Computation by Machine
• Can Programming be Liberated from the Von Neumann Style? A Functional Style and its Algebra of Programs
• Lambda calculus (chapter 5 in Formal Syntax and Semantics of Programming Languages)
• Dimensions of Object-Based Language Design
• Linda in Context

Resources:

• Burks Programming Language Resources
• Description of BNF and EBNF
• Original Lex manual
• Original Yacc manual