related documents Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages Conference Proceeding