[PRL] Flexible Software by Favoring Implicit Calls over Explicit Calls

[Karl Lieberherr]

Fall Semester 2007
Demeter Seminar
Regular time: Thursday 10 - 11.30 am, 366 West Village H
=======================================================================

There is no seminar on Nov. 29.

December 6, 2007:
Speaker: Bryan Chadwick:
Title: *Flexible Software by Favoring Implicit Calls over Explicit Calls:*
Algorithms for a  New Programming  Style.
================================================

Both specifications as well as implementations of functional
and object-oriented approaches suffer from two major problems:
they explicitly mention by name the subterms or subobjects that
need to be traversed (explicit traversal problem)
and they explicitly mention parameters that
are passed down to subterms or subobjects, whether or not they are relevant
to the current term or object (explicit argument problem).
The reason for the two problems is a
low-level use of "follow the structure" or "follow the grammar".

The approach by Chadwick et al., called DemeterF (F for functional),
is a functional approach where a traversal is parameterized by 3 objects:
a transformer, a combiner and an augmentor.

 http://www.ccs.neu.edu/research/demeter/biblio/func-trav-comb.html

Two topics will be presented:
1. Type Checking of DemeterF programs, 2. Fast implementation of
combine method selection in DemeterF.

We have a Demeter Seminar mailing list:

Please sign up at:
https://lists.ccs.neu.edu/bin/listinfo/demeter-seminar

Seminar home page:
http://www.ccs.neu.edu/research/demeter/seminar/seminar.html
-------------- next part --------------
HTML attachment scrubbed and removed