Linked visualisations via Galois dependencies

Roly Perera, Minh Nguyen, Tomas Petricek 0001, Meng Wang. Linked visualisations via Galois dependencies. Proceedings of the ACM on Programming Languages, 6(POPL):1-29, 2022. [doi]

Abstract

Abstract is missing.