• Bidirectional data-flow analyses compared to relational through Galois connectionsMcDermott, Dylan; Morita, Yasuaki; Uustalu, TarmoNWPT 2023 - 34th Nordic Workshop on Programming Theory : Wed 22 - Thu 23 November 2023 Västerås2023 https://mdu.drive.sunet.se/index.php/s/pGqDeMWakx4dtmX