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

semantic description of call-by-need



Date: Tue, 19 Nov 91 15:07:28 EST

A `natural' semantics for a form of call-by-need evaluation is
included in a paper recently written by Jawahar Chirimar, Jon Riecke
and me on a reference counting semantics for a language with a linear
type system.  The paper will soon be available as a Penn technical
report.  Although our semantics is for a linear system (in the -o, !
fragment) and includes reference counting, it does explicitly describe
the pointer manipulations used for the delayed evaluations of
call-by-need.

				--- carl