The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations

摘要: The PCKS-machine is an abstract machine that evaluates parallel functional programs with first-class continuations. Parallelism introduced by the construct pcall, which provides a fork-and-join type of parallelism. To best our knowledge, first implementation such language proved to have transparent for parallelism: every program using returns same result as in absence this construct. This also characterised non-speculative invocation continuations whose interest illustrated application.