Automatic accurate cost-bound analysis for high-level languages
From MaRDI portal
Publication:4571347
DOI10.1109/TC.2001.970569zbMath1392.68139OpenAlexW2097046319MaRDI QIDQ4571347
Publication date: 9 July 2018
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.2001.970569
This page was built for publication: Automatic accurate cost-bound analysis for high-level languages