Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages.

Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival

Browse the full ESOP paper archive.