From: esh@doc.ic.ac.uk (Edward Hayes)
Subject: Re: Automatic implementation of abstract specifications
Date: Tue, 14-Jul-87 12:00:32 EDT [thread overview]
Date: Tue Jul 14 12:00:32 1987
Message-ID: <476@ivax.doc.ic.ac.uk> (raw)
In-Reply-To: 1798@megaron.arizona.edu
I just saw an article giving an inexact reference to an MIT technical report
by MK Srivas, The exact reference (I just happened to have it on my desk) is:
MIT/LCS/TR-276
Automatic Synthesis of Implementations
for
Abstract Data Types from
Algebraic Specifications
Mandayam K Srivas
June 1982
- hope this is of help.
next prev parent reply other threads:[~1987-07-14 16:00 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
1987-06-16 1:55 comments on Ed Berard's S/W reuse part 5 CONTR47
1987-06-18 8:46 ` Software Reuse -- do we really know what it is ? craig
1987-06-22 0:50 ` Lawrence Crowl
1987-06-22 15:40 ` Stanley Shebs
1987-06-22 18:59 ` Lawrence Crowl
1987-06-23 17:28 ` Stanley Shebs
1987-06-29 9:16 ` Software Reuse -- do we really know what it is ? (long) Ian Dickinson
1987-07-04 21:19 ` John B. Nagle
[not found] ` <glacier.17113>
1987-07-07 2:21 ` Software Reuse (short title) pase
[not found] ` <titan.668>
1987-07-06 5:28 ` Software Reuse -- do we really know what it is ? (long) David C. DiNucci
1987-07-07 15:18 ` Automatic implementation of abstract specifications debray
1987-07-09 22:40 ` Automatic implementation of abstrac ron
1987-07-14 16:00 ` Edward Hayes [this message]
1987-07-02 7:55 ` Software Reuse -- do we really know what it is ? Drew Adams
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox