Recomputation-based Search

fun {Recompute S Is}

case Is of nil then

{Space.clone S}

[] I|Ir then

C={Recompute S Ir}

in

{Space.commit C I}

C

end

end

Previous slide

Next slide

Back to first slide

View graphic version