Systematic design of program transformation frameworks by abstract interpretation

DOI10.1145/503272.503290zbMath1323.68356OpenAlexW2008609084MaRDI QIDQ5178905

Could not fetch data.

Publication date: 17 March 2015

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/503272.503290

Mathematics Subject Classification ID

Could not fetch data.