Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!sdd.hp.com!hplabs!hpcc05!hpyhde4!hpycla!hpcuhc!hpcupt3!mnm
From: mnm@hpcupt3.cup.hp.com (Michey Mehta)
Newsgroups: comp.lang.c++
Subject: Re: Implementation vs. Specification
Message-ID: <45680005@hpcupt3.cup.hp.com>
Date: 3 Jun 91 00:06:41 GMT
References: <1991May31.231646.6245@bellcore.bellcore.com>
Organization: Hewlett Packard, Cupertino
Lines: 5

See the paper by Bruce Martin in the 1991 Usenix C++ conference proceedings.
It describes a method for separating interface and implementation lattices.

Michey Mehta
mnm@hpda.hp.com