Re: Intended meaning

From: <>
Date: Wed, 07 Nov 2007 14:07:36 +0000


> Is it  related to the property
> that C[e ? e'] should be equivalent to C[e] ? C[e'],
> for any context C and expressions e, e' ?
>  I remark that the property is certainly true
> for CRWL programs. An interesting point is that the
> proof of it is easy if one uses semantic-based reasonings.
> Thus, an operational procedure can use the above equivalence
> while preserving the semantics.

Since generators typically introduce alternatives recursively,
this equivalence has to be used with utmost care operationally ---
otherwise, applying this equivalence may just happily replicate redexes in C,
without making progress.

This could be alleviated using second-order sharing for C[_]
in C[e] ? C[e'], similar to optimal reduction in lambda calculi ---
is anybody aware of any work in this direction for FLP?


curry mailing list
Received on Do Nov 08 2007 - 09:17:25 CET

This archive was generated by hypermail 2.3.0 : Mo Dez 04 2023 - 07:15:10 CET