Tarmo Uustalu - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Wed 22 - Thu 23 November 2023 Västerås

Registered user since Sat 21 Aug 2021

Name:Tarmo Uustalu

Country:Iceland

Affiliation:Reykjavik University

Personal website: https://cs.ioc.ee/~tarmo/

Contributions

2023

NWPT

Bidirectional data-flow analyses compared to relational through Galois connections

Show activities from other conferences

NWPT 2023 - 34th Nordic Workshop on Programming Theory -profile
View general profile