Resource control graphs

DOI10.1145/1555746.1555753MaRDI QIDQ2946586zbMATH OpenOpenAlexWikidataFDO

Authors Jean-Yves Moyen

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

implicit computational complexitynon-size-increasing computationprogram analysisprogram terminationsize change termination

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Resource Analysis by Sup-interpretation
• Resource analysis driven by (conditional) termination proofs
• scientific article; zbMATH DE number 2018591
• Sup-interpretations, a semantic method for static analysis of program resources
• Programming Languages and Systems

Cited in

(3)

• A type-based complexity analysis of object oriented programs
• Realizability models for a linear dependent PCF
• Resource analysis driven by (conditional) termination proofs

This page was built for publication: Resource control graphs

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