From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e6f46fd48a137d46
X-Google-Attributes: gid103376,public
From: stt@henning.camb.inmet.com (Tucker Taft)
Subject: Re: Joyce and Ada
Date: 1996/07/13
Message-ID: <DuHx52.9H5.0.-s@inmet.camb.inmet.com>#1/1
X-Deja-AN: 168223124
sender: news@inmet.camb.inmet.com (USENET news)
x-nntp-posting-host: henning.camb.inmet.com
references: <4s598j$aj2@post.tau.ac.il>
organization: Intermetrics, Inc.
newsgroups: comp.lang.ada
Date: 1996-07-13T00:00:00+00:00
List-Id: <comp.lang.ada>


Wolfman Gadi (gadiw@libra.math.tau.ac.il) wrote:
: I need some references on programming language Joyce and 
: any compare between Joyce and Ada.

I believe "Joyce" was a language proposed by Per Brinch Hansen.
It has a guarded synchronization facility that is reminiscent
of Ada 95's protected type.  However, I believe the semantic model
in Joyce is that the guards are continually evaluated, and as soon
as they become true, the associated statements are executed.

This is all based on an article I read about 6 years ago on Joyce,
and I am afraid I have lost it.  You might try looking in an index
of articles in Software Practice & Experience, since many language-related
articles have appeared there.  Conceivably a search on the Web might
turn up something as well.

I'm sorry I can't be of more help...

-Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
Intermetrics, Inc.  Cambridge, MA  USA