A Space Consumption Analysis by Abstract Interpretation

DOI10.1007/978-3-642-15331-0_3zbMath1305.68062OpenAlexW1536974934MaRDI QIDQ5747629

Clara Segura, Manuel Montenegro, Ricardo Peña

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_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation

This page was built for publication: A Space Consumption Analysis by Abstract Interpretation