Space profiling for parallel functional programs

DOI10.1017/S0956796810000146zbMath1221.68057MaRDI QIDQ3021408

Phillip B. Gibbons, Robert Harper, Guy E. Blelloch, Daniel Spoonhower

Publication date: 25 July 2011

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

semantic space profiler

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18)

Uses Software

• ML
• JoCaml

Cites Work

• New dimensions in heap profiling
• Provably efficient scheduling for languages with fine-grained parallelism
• Scheduling multithreaded computations by work stealing
• Algorithm + strategy = parallelism
• Space-Efficient Scheduling of Multithreaded Computations

This page was built for publication: Space profiling for parallel functional programs