From: "Ehud Lamm" <mslamm@huji.ac.il>
Subject: Re: tasks, protected types and entries
Date: Sun, 17 Mar 2002 22:06:55 +0200
Date: 2002-03-17T22:06:55+02:00 [thread overview]
Message-ID: <a72t4m$6ie$1@news.huji.ac.il> (raw)
In-Reply-To: 3C94F235.80C7166A@adaworks.com
"Richard Riehle" <richard@adaworks.com> wrote in message
news:3C94F235.80C7166A@adaworks.com...
>
> There are no guards on subprograms (procedures and functions). If there
> were, they would be called pre-conditions. In fact, protected entry
> barriers, and task entry guards, are simply a variation-on-the-theme of
> pre-conditions.
>
BTW: The literature often uses the terms "behavioral contract" and
"synchronization contract" to distinguish these two types of contracts.
Ehud Lamm
next prev parent reply other threads:[~2002-03-17 20:06 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-03-17 14:50 tasks, protected types and entries chris.danx
2002-03-17 14:55 ` chris.danx
2002-03-17 15:46 ` Jim Rogers
2002-03-17 16:49 ` Sergey Koshcheyev
2002-03-17 19:46 ` Robert A Duff
2002-03-17 19:44 ` Richard Riehle
2002-03-17 20:06 ` Ehud Lamm [this message]
2002-03-17 21:53 ` Pat Rogers
2002-03-18 1:42 ` Jeffrey Carter
2002-03-18 5:14 ` Pat Rogers
2002-03-18 0:36 ` Bo Sanden
2002-03-29 0:10 ` chris.danx
2002-03-18 16:41 ` john mann
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox