Joyce and Ada

Joyce and Ada

[Wolfman Gadi]

I need some references on programming language Joyce and any compare between Joyce and Ada.

Re: Joyce and Ada

[Tucker Taft]

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

Re: Joyce and Ada

[Norman H. Cohen]

In article <4s598j$aj2@post.tau.ac.il>, gadiw@libra.math.tau.ac.il
(Wolfman Gadi) writes: 

|> I need some references on programming language Joyce and any compare between Joyce and Ada.

Joyce is described in "Joyce - A Programming Language for Distributed
Systems", Per Brinch Hansen, Soft Prac & Exp 17(1):29-50 (Jan 1987).
Joyce is based on CSP, as is the Ada select statement used for some forms
of intertask communication, so I suspect that that is where you'll find
the most interesting comparisons.

--
Norman H. Cohen    ncohen@watson.ibm.com