Preface: Special issue on automatic resource bound analysis

DOI10.1007/S10817-016-9399-8MaRDI QIDQ2398169zbMATH OpenOpenAlexFDO

Authors

Publication date 15 August 2017

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-016-9399-8

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Two decades of automatic amortized resource analysis
• Automatic inference of resource consumption bounds
• Preface: Special issue on implementation and application of automata
• Automated amortised resource analysis for term rewrite systems
• Towards automatic resource bound analysis for OCaml
• Preface
• Exponential automatic amortized resource analysis
• Implementations and applications of automata 2018: Preface

Cited in

(1)

• Verifying procedural programs via constrained rewriting induction

This page was built for publication: Preface: Special issue on automatic resource bound analysis

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