Go backward to
Eagerly Evaluated Parameters
Go up to
Top
Go forward to
Lazy Evaluation
Lazy Evaluation
Actual parameter evaluated with store only when corresponding formal parameter is referenced.
Abstraction:
[[
pi
|-
proc
I
1
(I
2
:
tau
exp
) = C:
{I
1
:
tau
exp
->
comm
}
dec
]]
e
s
= ({I
1
=
p
},
s
)
where
p
f
s'
= [[
pi
-U- {I
2
:
tau
exp
} |- C:
comm
]](
e
-U- {I
2
=
f
})
s'
Author:
Wolfgang Schreiner
Last Modification: May 7, 1998