Call-by-need rules

• To: types
• Subject: Call-by-need rules
• From: S Purushothaman <purush@guardian.cs.psu.edu>
• Date: Wed, 20 Nov 91 11:12:11 EST
• Sender: meyer@theory.lcs.mit.edu

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

• Prev: semantic description of call-by-need
• Next: bad behavior of Call-by-value(-result)
• Index(es):
  • Main
  • Thread