A space consumption analysis by abstract interpretation

DOI10.1007/978-3-642-15331-0_3MaRDI QIDQ5747629zbMATH OpenOpenAlexFDO

Authors Manuel Montenegro, Clara Segura, 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)

Recommendations

• Static prediction of heap space usage for first-order functional programs
• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
• Resource Analysis by Sup-interpretation
• Automatic Space Bound Analysis for Functional Programs with Garbage Collection

Cited in

(8)

• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Hierarchical shape abstraction for analysis of free list memory allocators
• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• Static prediction of heap space usage for first-order functional programs
• Sup-interpretations, a semantic method for static analysis of program resources
• An Inference Algorithm for Guaranteeing Safe Destruction
• scientific article; zbMATH DE number 2090846 (Why is no real title available?)
• A combination framework for tracking partition sizes

This page was built for publication: A space consumption analysis by abstract interpretation

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