Bidirectional data-flow analyses compared to relational through Galois connections
author
McDermott, Dylan
Morita, Yasuaki
Uustalu, Tarmo
statement of authorship
Dylan McDermott, Yasuaki Morita, Tarmo Uustalu
source
NWPT 2023 - 34th Nordic Workshop on Programming Theory : Wed 22 - Thu 23 November 2023 Västerås
publisher
Mälardalen University
year of publication
2023
conference name, date
NWPT 2023 - 34th Nordic Workshop on Programming Theory, Wed 22 - Thu 23 November 2023
conference location
Västerås
url
https://mdu.drive.sunet.se/index.php/s/pGqDeMWakx4dtmX
subject term
andmevood
programmeerimine
subject of form
preprindid
scientific publication
teaduspublikatsioon
classifier
6.7
TalTech department
tarkvarateaduse instituut
language
inglise