Static Complexity Analysis of Higher Order Programs

DOI10.1007/978-3-642-15331-0_6zbMath1305.68052OpenAlexW89124236MaRDI QIDQ5747632

Lars Kristiansen, Jean-Yves Moyen, James Emil Avery

Publication date: 14 September 2010

Published in: Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15331-0_6

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: Static Complexity Analysis of Higher Order Programs