An Expressive Language of Signatures

An Expressive Language of Signatures. Norman Ramsey and Kathleen Fisher and Paul Govereau. ICFP'05.

Our language includes operations for adding, renaming, and removing components; for changing the type associated with a value; for making a manifest type abstract or vice versa; and for combining two interfaces. These operations can express useful relationships among interfaces.

The authors want to help programmers express nontrivial relationships between interfaces, in order to better understand and explain the structure of complex software systems. To meet this goal they introduce new language design, with fairly rich and expressive concrete syntax.

This line of work is related to issues I wrote about. I remember Ramsey implying he is thinking about these issues in one of his web pages, and I waited to see what he would come up with. I guess this is it...

This is an important area, and I am sure there's still a lot to be done.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

alternate url

alternate url (original wasn't working)

We usually don't link to

We usually don't link to papers that are behind pay-walls. Any way, what's wrong with the original link I don't know.


We usually don't link to papers that are behind pay-walls.

Isn't the link for the paper that you (Ehud) wrote a pay-for link?

Yes it is.

Yes it is.