Possible World Semantics for General Storage in Call-By-Value.

Paul Blain Levy

Published in: CSL (2002)

Keyphrases

special case
real time
databases
image segmentation
multiscale
evolutionary algorithm
scheduling problem
closely related