Compositional dataflow analysis via abstract transition systems - Bronevetsky, Greg; Burke, Michael G.; Aananthakrishnan, Sriram; Reichenbach, Christoph; Jisheng, Zhao; Sarkar, Vivek; Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Originator; Lund University, Faculty of Engineering, LTH, Departments at LTH, Department of Computer Science, Software Development and Environments, Lunds universitet, Lunds Tekniska Högskola, Institutioner vid LTH, Institutionen för datavetenskap, Programvaruteknik, Originator; Lund University, Profile areas and other strong research environments, Strategic research areas (SRA), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Lunds universitet, Profilområden och andra starka forskningsmiljöer, Strategiska forskningsområden (SFO), ELLIIT: the Linköping-Lund initiative on IT and mobile communication, Originator (2025)