Hi Alex:

please can you refer me to the paper about interface graphs
that you mentioned in St. Louis.

We also put graphs into the interface of components.
The actual parameter graph must basically be an expansion of the
formal graph. We developed this approach with Jens Palsberg

http://www.ccs.neu.edu/research/demeter/biblio/compile-ap.html

but the best algorithm is at:
(with Boaz Patt-Shamir)

http://www.ccs.neu.edu/research/demeter/biblio/strategies.html

-- Karl

Dear Karl,

the paper on "interface automata" was accepted at ESEC/FSE 2001.  We
haven't prepared the final version yet, but I attach to this email the
submitted version.  You will find the final version, when it will be
ready, on my web page, or on Tom Henzinger's one.

Thank you for the pointers to your own work, and for your interest in
our work.  All the best,

Luca

On Thu, 7 Jun 2001, Alex Aiken wrote:

> Luca,
>
> Karl Lieberherr (see below) is interested in reading anything you've
> published on interface types.  Can you follow up with him?
>
> Thanks,
>
> Alex
>
> -----Original Message-----
> From: Karl Lieberherr [mailto:lieber@ccs.neu.edu]
> Sent: Wednesday, June 06, 2001 12:43 PM
> To: aiken@cs.berkeley.edu; lieber@ccs.neu.edu
> Subject: RE: interface graphs
>
>
> Hi Alex:
>
> you use interface automata in the interface of components
> and you define when a component is compatible with its
> environment (defined by another automaton, I guess)
> using game theory. That is the paper
> I would like to get.
>
> -- Karl
>
> >From aiken@cs.berkeley.edu  Wed Jun  6 15:33:59 2001
> >From: "Alex Aiken" <aiken@cs.berkeley.edu>
> >To: "Karl Lieberherr" <lieber@ccs.neu.edu>
> >Subject: RE: interface graphs
> >Date: Wed, 6 Jun 2001 12:31:32 -0700
> >MIME-Version: 1.0
> >Content-Transfer-Encoding: 7bit
> >X-Priority: 3 (Normal)
> >X-MSMail-Priority: Normal
> >Importance: Normal
> >X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
> >X-Authorized: DII EWall score=0
> >X-AuthHost: rs000A.dii.local:6400@whimper.digital-integrity.com
> >
> >Karl,
> >
> >I don't recall what paper that was that I referred to---and looking
> >at the papers you reference doesn't help jog my memory.  Maybe it
> >was something else we discussed?
> >
> >Alex