Sujet : Re: Constraints on a program that calls an SHD on itself
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 01. Jun 2025, 12:37:25
Autres entêtes
Organisation : -
Message-ID : <101he1l$224ok$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-06-01 08:28:29 +0000, Mr Flibble said:
Constraints on a program that calls an SHD on itself
----------------------------------------------------
If DDD calls HHH than it is a requirement that DDD must always be
simulated by HHH and never run independently as doing so would be a type
violation.
THere is no such requirement except in cases where that is required by
the specification of HHH or DDD or by the management of the organisation
where the work is performed.
-- Mikko