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
Please note that we will be adding readings to this list as the semester progresses.
Resources:
Burks Programming Language Resources
Description of BNF and EBNF
Original Lex manual
Original Yacc manual
Kurt Stirewalt
Last modified: Fri Dec 3 09:21:48 EST 2004