Cost recurrences for DML programs
From MaRDI portal
Publication:5178014
DOI10.1145/507635.507666zbMath1323.68118OpenAlexW1980177715MaRDI QIDQ5178014
Publication date: 9 March 2015
Published in: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/507635.507666
Searching and sorting (68P10) Functional programming and lambda calculus (68N18) Data structures (68P05)
Related Items (5)
A general framework for static profiling of parametric resource usage ⋮ A Transformational Approach to Parametric Accumulated-Cost Static Profiling ⋮ A Transformational Approach to Resource Analysis with Typed-norms Inference ⋮ Implicit computational complexity of subrecursive definitions and applications to cryptographic proofs ⋮ Relational cost analysis in a functional-imperative setting
This page was built for publication: Cost recurrences for DML programs