täiskirje prindi

Bidirectional data-flow analyses compared to relational through Galois connections

autor
vastutusandmed
Dylan McDermott, Yasuaki Morita, Tarmo Uustalu
allikas
NWPT 2023 - 34th Nordic Workshop on Programming Theory : Wed 22 - Thu 23 November 2023 Västerås
kirjastus/väljaandja
ilmumisaasta
konverentsi nimetus, aeg
NWPT 2023 - 34th Nordic Workshop on Programming Theory, Wed 22 - Thu 23 November 2023
konverentsi toimumispaik
Västerås
leitav
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
McDermott, D., Morita, Y., Uustalu, T. Bidirectional data-flow analyses compared to relational through Galois connections // NWPT 2023 - 34th Nordic Workshop on Programming Theory : Wed 22 - Thu 23 November 2023 Västerås. : Mälardalen University, 2023. https://mdu.drive.sunet.se/index.php/s/pGqDeMWakx4dtmX