Composing dataflow analyses and transformations
From MaRDI portal
Publication:5178912
DOI10.1145/503272.503298zbMATH Open1323.68217OpenAlexW2110423393MaRDI QIDQ5178912
Craig Chambers, Sorin Lerner, David Grove
Publication date: 17 March 2015
Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/503272.503298
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
This page was built for publication: Composing dataflow analyses and transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178912)