Spring 2002 Programming Language Seminar

Spring 2002 Programming Language Seminar:
Cool Language Features

This seminar took place in the Spring of 2002. This page serves as an archive to material covered in the seminar and as a repository for presentations. Paper links are external; presentation slides are locally archived, except Frank Hunleth's thesis defense.

Synopsis:
The focus for this seminar is cool language features. The idea is to take a particular language feature each week (or two weeks, or three...) and pick it apart. Relevant discussions and papers include the compiler implementation, optimization, and novel use of high-level language features. While no one programming language in particular will be focussed upon, the idea is to gain some knowledge of languages not in the "mainstream" world of academic coursework.

Important information:

Course number		E61 6782
Meeting place		Bryan Hall, room 509C
Meeting time		Wednesdays, 10am-noon
Credit		1 unit
Grade option		pass/fail only *

* You pass the seminar by attending and presenting a paper.

Registration for this seminar is CLOSED.
Please see more recent programming language seminars.

Seminar Calendar:
The Spring 2002 programming language seminar meets Wednesdays at 10am in Bryan 509C.

Date	Presentation	Presentation Slides	Presenter
9 January	Organizational Meeting
16 January	Paper: Maes, Concepts and Experiments in Computational Reflection	[ PowerPoint ] [ PDF ]	Dr. Ron K. Cytron
23 January	On Approaches to Separation of Concerns (see multiple articles in the October 2001 CACM issue for an overview of the covered material)	[ PostScript ] [ PDF ]	Morgan Deters
30 January	Paper: Tarr, Ossher, Harrison, & Sutton, N Degrees of Separation: Multi-Dimensional Separation of Concerns	[ PowerPoint ] [ PDF ]	Frank Hunleth
6 February	Paper: Stroustrup, Multiple Inheritance for C++ [PDF]	[ PowerPoint ] [ PDF ]	Bala Natarajan
13 February	Paper: Bracha, Odersky, Stoutamire, & Wadler, Making the future safe for the past: Adding Genericity to the Java Programming Language	[ PowerPoint ] [ PDF ]	Anand Krishnan
20 February	Ruby tutorial	[ PostScript ] [ PDF ]	Martin Linenweber
27 February	No seminar this week
6 March	SPRING BREAK
13 March	Paper: Strom & Yemini, Typestate: A Programming Language Concept for Enhancing Software Reliability Paper: Strom & Yellin, Extending Typestate Checking Using Conditional Liveness Analysis	[ OpenOffice ] [ PowerPoint ] [ PDF ]	Stephen Torri
20 March	Paper: Jaffar & Maher, Constraint Logic Programming: A Survey	[ PowerPoint ] [ PDF ]	Sharath Cholleti
27 March	Paper: Chambers & Chen, Efficient Multiple and Predicate Dispatching	[ PowerPoint ] [ PDF ]	Venkita Subramonian
3 April	Paper: Ramsey & Jones, A Single Intermediate Language That Supports Multiple Implementations of Exceptions	[ PowerPoint ] [ PDF ]	Delvin Defoe
10 April	Thesis defense: FACET Thesis available in [ PDF ]	[ PowerPoint ] [ PDF ]	Frank Hunleth
17 April	Paper: Brabrand & Schwartzbach, Growing Languages with Metamorphic Syntax Macros	[ PowerPoint ] [ PDF ]	Guoliang Xing
24 April	Paper: Tismer, Continuations and Stackless Python [PDF]	[ PowerPoint ] [ PDF ]	Prashanth Pappu

Other Resources:

ACM Digital Library -- access to full papers available from the Washington University network
IBM's Subject-Oriented Programming website
IBM's Hyperspaces (Multi-Dimensional Separation of Concerns) website
Aspect-Oriented Software Development website
AspectJ website

To suggest a paper or topic or to offer feedback, please contact me.

Other papers of Interest (organized by topic):

Subject-Oriented Programming (SOP)
- Harrison & Ossher, Subject-Oriented Programming (A Critique of Pure Objects)
- Ossher, Harrison, Budinsky, & Simmonds, Supporting Decentralized Development of Objects [PostScript]
Multi-Dimensional Separation of Concerns / Hyperspaces
- Ossher & Tarr, Multi-Dimensional Separation of Concerns and the Hyperspace Approach [PDF]
- Ossher & Tarr, Multi-Dimensional Separation of Concerns in Hyperspace [PostScript]
Multiple dispatch
- Clifton, Leavens, Chambers, & Millstein, MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java
- Leavens & Millstein, Multiple Dispatch as Dispatch on Tuples
- Dujardin, Amiel, & Simon, Fast Algorithms for Compressed Multimethod Dispatch Table Generation
Macros and macro systems
- Bachrach & Playford, The Java Syntactic Extender
Typestates
- Strom, Mechanisms for Compile-Time Enforcement of Security (POPL '83, not in the ACM Digital Library)
Others
- Ungar & Smith, SELF: The Power of Simplicity
- Cecil

Looking for something else?

Morgan Deters / About me / OpenPGP Public Key / 02 Jan 2006