NO CLASS ON: Sept 17, Oct 15 Meeting Times: T 10:00-1:00
Location: 110 New Africa House
First Meeting: Tuesday, Sept. 10
NO CLASS ON: Sept 17, Oct 15
Course Overview: We will study formal foundations for object orientation, with an eye toward practical application. Our primary focus will be on the new book by Abadi and Cardelli, called A Theory of Objects. We will also be looking at other formal work on object orientation, particularly type theory for object oriented programming languages. Class sessions will mostly be devoted to presentations and discussion of material from the book and related literature. Student projects may also be discussed.
Requirements: Students will be expected to participate in class and to complete a project related to the theory of objects. Ideally, the projects will involve practical application of some aspect of the formal foundations for object orientation to some problem of interest to the student.
Assigned Readings: The required text is the book by Abadi and Cardelli, A Theory of Objects. Other readings will be from selected research papers or books. These will be available on reserve or, in the case of papers, copies may be made available.
Prerequisites: A solid background in programming languages and some knowledge of and/or experience with at least one object oriented language. This prerequisite would be fulfilled by completion of COMPSCI 530 or 630, but it could be fulfilled in other ways as well. While primarily intended for graduate students, the course should also be accessible to well-prepared undergraduates, particularly those who are comfortable with theoretical computer science.
For More Information: To find out more about this course, contact me at: wileden@cs.umass.edu