The complexity gap in the static analysis of cache accesses grows if procedure calls are added
Crossref DOI link: https://doi.org/10.1007/s10703-022-00392-w
Published Online: 2022-05-13
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Monniaux, David https://orcid.org/0000-0001-7671-6126
Text and Data Mining valid from 2021-12-01
Version of Record valid from 2021-12-01
Article History
Received: 8 June 2021
Accepted: 13 April 2022
First Online: 13 May 2022