Bidirectional data-flow analyses compared to relational through Galois connections
autor
McDermott, Dylan
Morita, Yasuaki
Uustalu, Tarmo
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
Mälardalen University
ilmumisaasta
2023
konverentsi nimetus, aeg
NWPT 2023 - 34th Nordic Workshop on Programming Theory, Wed 22 - Thu 23 November 2023
konverentsi toimumispaik
Västerås
leitav
https://mdu.drive.sunet.se/index.php/s/pGqDeMWakx4dtmX
märksõna
andmevood
programmeerimine
vormimärksõna
preprindid
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
6.7
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise