billwolf%hazel.cs.clemson.edu@hubcap.clemson.edu (William Thomas Wolfe, 2847 ) (11/21/89)
From snorri@rhi.hi.is (Snorri Agnarsson): >> ... Hopefully, the ideas of >> Wilf LaLonde regarding programming via exemplars (in which there are >> separate inheritance lattices for specification and implementation) >> will eventually result in the development of object-oriented systems >> which are more suitable for programming in the large. > > Sounds interesting -- do you have references? Sure. Check out "Designing Families of Data Types Using Exemplars", by Wilf R. LaLonde, in the April 1989 issue of ACM Transactions on Programming Languages and Systems. There's also another good article right after it: "Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types". Bill Wolfe, wtwolfe@hubcap.clemson.edu