[PRL] legacy code and AOP

[Karl Lieberherr]

Hi Shriram:

Yes, that is indeed a consistent use of the word refinement. In my first
publication on this topic I used the word "enhancement": 

AUTHOR = "Karl J. Lieberherr",
BOOKTITLE = "Information Processing '92, 12th World Computer Congress",
TITLE = "Component Enhancement: An Adaptive Reusability Mechanism for
Groups of Collaborating Classes",
YEAR = "1992",
ADDRESS = "Madrid, Spain",
PAGES = "179-185",
EDITOR = "J. van Leeuwen",
PUBLISHER = "Elsevier" 

-- Karl

-----Original Message-----
From: Shriram Krishnamurthi [mailto:sk at cs.brown.edu] 
Sent: Wednesday, February 09, 2005 3:39 PM
To: Karl Lieberherr
Cc: 'Matthias Felleisen'; 'PRL mailing list'
Subject: RE: [PRL] legacy code and AOP

Karl,

If I understand the example correctly, yes, I would call this a
refinement, in that it extends the set of behaviors of the program.
It might, for instance, be possible to show (under the right
conditions) that one program simulates or is bisimular to the other.

Shriram