scientific article; zbMATH DE number 177786

MaRDI QIDQ4038664zbMATH OpenFDO

Authors Thomas Jensen, Torben Ægidius Mogensen

Publication date 18 May 1993

zbMATH Keywords

context semanticsfirst order functional language

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• Compile-Time Garbage Collection for Higher-Order Functional Languages
• Semantics of memory management for polymorphic languages
• Analysis of functional programs to detect run-time garbage cells
• Storage use analysis and its applications
• Usage counting analysis for lazy functional languages

Cited in

(6)

• Usage counting analysis for lazy functional languages
• Storage use analysis and its applications
• Garbage Collection for Reversible Functional Languages
• Analysis of functional programs to detect run-time garbage cells
• Compile-Time Garbage Collection for Higher-Order Functional Languages
• Improving flow analyses via ΓCFA

This page was built for publication:

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