Storage use analysis and its applications

DOI10.1145/232627.232635MaRDI QIDQ2817682zbMATH OpenOpenAlexFDO

Authors Manuel Serrano, Marc Feeley

Publication date 1 September 2016

Published in Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/232627.232635

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Information storage and retrieval of data (68P20)

Recommendations

• scientific article; zbMATH DE number 1691460
• scientific article; zbMATH DE number 177786
• Usage counting analysis for lazy functional languages
• Compiler Construction
• A type-based escape analysis for functional languages

Cited in

(6)

• Static insertion of safe and effective memory reuse commands into ML-like programs
• scientific article; zbMATH DE number 1617322 (Why is no real title available?)
• scientific article; zbMATH DE number 1691460 (Why is no real title available?)
• scientific article; zbMATH DE number 177786 (Why is no real title available?)
• Compiler Construction
• Types and Effects for Resource Usage Analysis

This page was built for publication: Storage use analysis and its applications

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