| Topic | Date of presentation | Who | What | Principal References | Comment |
|---|
| Design by Contract | 4/12 | Anthony Falcone, Teresa Thomason | Presentation of design by contract and a related disciplined exception mechanism | Bertrand Meyer, Design by Contract | A follow-up to what presented in class |
| Design by Contract and Concurrency | 4/12 | Kevin Guite, Pronob Ashwin | A model for concurrent object-oriented programming based on design by contract | Bertrand Meyer (1994) Systematic Concurrent Object-Oriented Programming | A follow-up to what presented in class |
| Language: Eiffel | 4/12 | Venkatram Krishnamoorthi, Chetan Shah, Brice Womack | Presentation of Eiffel | Bertrand Meyer (1992) An Invitation to Eiffel | A follow-up to what presented in class |
| Language | 4/12 | Tom Anastasio | Of objects and closures | - | - |
| Language: Self | 4/12 | Mike Gillio, Jon Shaw | Presentation of Self, a prototype-based language with uniform access to state and behavior | David Ungar et al. (1987) Self, the Power of Simplicity | A simple, alternative view of object oriented programming |
| Language: Cecil | 4/19 | Arun C. Mahendran | Presentation of Cecil, a language based on prototypes and multimethods | Craig Chambers (1995) The Cecil Language - Specification and Rationale | Very interesting experimental language, suggested for a group of people |
| Language: Obliq | 4/19 | Gopinath Rebala, Kaushal Sreenivasa, Meera Chattaraman | Presentation of Obliq, a lexically-scoped scripting language supporting object-oriented distributed computation | Luca Cardelli (1995) A Language with Distributed Scope | Should be of interest to Web/Agent people |
| Distribution | 4/19 | Anupama Potluri, Jeegar Lakhani | Discussion of an application of Obliq: migratory applications | Krishna Bharat, Luca Cardelli (1995) Migratory Applications | Should be of interest to Web/Agent people |
| Distribution | 4/19 | Shirley Wu, David Lazoff | Discussion of a simple Java superset for distributed programming | Mirano S (1996) ETL HORB | Should be of interest to Web/Agent/Java people |
| Distribution | 4/19 | Ram V Krishnan, Ramesh Krishnamurthy, Suresh Ramakrishnan | An overview of CORBA | Distributed Object Computing with CORBA | One of the standards for distributed programming |
| Multimethods | - | None of you, apparently | Discussion of problems related to typing binary methods. | Kim Bruce et al. (1995) On Binary Methods | Discussion of one of the problems you had during your design: How to write specialized versions of `+'(x,y: NUMERIC): NUMERIC (or similar) in your favourite language? |