Go backward to
Copy Rule
Go up to
Top
Go forward to
Eagerly Evaluated Parameters
Semantics of Parameter Transmission
Parameterized procedure abstractions:
Lazy evaluated procedures.
Eagerly evaluated parameters.
[[I
1
]]=
p
in Env
pi
->
[[
tau
]]
->
[[
comm
]]
Abstraction:
[[
pi
|-
proc
I
1
(I
2
:
tau
exp
) = C:
{I
1
:
tau
exp
->
comm
}
dec
]]
e
s
= ({I
1
=
p
},
s
)
where
p
v
s'
= [[
pi
-U- {I
2
:
tau
exp
} |- C:
comm
]](
e
-U- {I
2
=
v
})
s'
e
-U- {I=
u
} = {I=
u
} union (
e
- {(I=
v
) | (I=
v
) in
e
})
Author:
Wolfgang Schreiner
Last Modification: May 7, 1998