Iterative-free program analysis

DOI10.1145/944705.944716zbMATH Open1315.68042OpenAlexW2104429191MaRDI QIDQ5261270

Zhenjiang Hu, Mizuhito Ogawa, Isao Sasano

Publication date: 2 July 2015

Published in: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

dynamic programmingprogram analysistree widthregister allocationcontrol flow graphcatamorphismSP term

Mathematics Subject Classification ID

Could not fetch data.

Related Items (4)

Elimination Techniques for Program Analysis ⋮ Title not available (Why is that?) ⋮ Improving program analyses, by structure untupling ⋮ Static Analysis

This page was built for publication: Iterative-free program analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261270)