[Prev][Next][Index][Thread]

Call-by-need rules



Date: 	Wed, 20 Nov 1991 10:15:43 -0500

>>	From: Andrew.Pitts@cl.cam.ac.uk

>>  	Nevertheless I'd like to see them ...
>>	generally does anyone have other references for treatments of 
>>        call-by-need using
>>	structured operational semantics?


Jill Seaman and I have worked out an operational semantics of call-by-need
that captures sharing and the delayed evaluation involved in call-by-need.
We have also shown its equivalence to a standard denotational semantics.
Needless to say, the "non-compositional" nature of the rule for function
application complicates the equivalence proof.  It is available from us
as a tech report (at Penn State).

Jill Seaman
S. Purushothaman