Bidirectional data-flow analyses compared to relational through Galois connections
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
year of publication
conference name, date
NWPT 2023 - 34th Nordic Workshop on Programming Theory, Wed 22 - Thu 23 November 2023
conference location
Västerås
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
subject of form
classifier
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.