Quantitative static analysis over semirings: analysing cache behaviour for Java Card

DOI10.1016/J.ENTCS.2006.07.017MaRDI QIDQ7014408zbMATH OpenFDO

Authors Pascal Sotin, David Cachera, Thomas Jensen

Publication date 11 March 2025

Full work available at URL https://doi.org/10.1016/J.ENTCS.2006.07.017

zbMATH Keywords

cache behaviourlinear operatorsresource usagesemiringsstatic analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites work

• A program logic for resources

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Quantitative static analysis over semirings: analysing cache behaviour for Java Card

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