Relational cost analysis
From MaRDI portal
Publication:5370869
DOI10.1145/3009837.3009858zbMath1380.68118OpenAlexW2565334366MaRDI QIDQ5370869
Jan Hoffmann, Deepak Garg, Ezgi Çiçek, Gilles Barthe, Marco Gaboardi
Publication date: 20 October 2017
Published in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3009837.3009858
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Denotational semantics as a foundation for cost recurrence extraction for functional languages ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Semantic foundations for cost analysis of pipeline-optimized programs ⋮ Relational cost analysis in a functional-imperative setting
This page was built for publication: Relational cost analysis
