LCL type specifications

To: larch-interest@src.dec.com
Subject: LCL type specifications
From: Paolo Ciancarini <cianca@DI.UniPi.IT>
Date: Mon, 11 Jul 1994 16:03:23 +0100 (METDST)
Delivery-Date: Mon, 11 Jul 94 07:17:22 -0700
Organization: Dipartimento di Informatica - Universita' di Pisa - Italy
Reply-To: cianca@cs.unibo.it

dear Larch-interested people,
My students are using LCL for a project,
and found very few info in the Larch book
about LCL type specification.
More precisely, we need info about different use of LCL
abstract types:

                - Mutable
                - Immutable
                - Spec

When is better to use one instead of the others ?
We are very interested in having semantics hints and some examples.

                        Thanks in advance for your contribution

Paolo Ciancarini
Univ. of Bologna, Italy

-- 
* Prof. Paolo Ciancarini  (cianca@cs.unibo.it)
* tel:     +39 51 354422 fax: +39 51 354490
* Dip. di Matematica - pza. di Porta S.Donato 5, 40127 Bologna - Italy

Follow-Up(s):

LCL type specifications

From: ymtan@larch.lcs.mit.edu (Yang Meng Tan)