Continuation-based compilation of functional languages for parallel machines

DOI10.1017/S0960129500001547MaRDI QIDQ4279253zbMATH OpenOpenAlexFDO

Authors J.-F. Giorgi, Daniel Le Métayer

Publication date 16 February 1994

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129500001547

zbMATH Keywords

compilationcorrectnessparallel implementations of functional languagesprogram transformations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 53087
• Compilation of a specialized functional language for massively parallel computers
• Parallelizing functional programs by generalization
• scientific article; zbMATH DE number 1088022
• scientific article; zbMATH DE number 2219866
• Continuation semantics for parallel Haskell dialects
• scientific article; zbMATH DE number 4205977

Cites work

• A new implementation technique for applicative languages
• Deriving Target Code as a Representation of Continuation Semantics

Cited in

(6)

• Continuation-based transformations for coordination languages
• Continuation-passing C, compiling threads to events through continuations
• Hierarchical memory management for parallel programs
• scientific article; zbMATH DE number 512910 (Why is no real title available?)
• Non-speculative and upward invocation of continuations in a parallel language
• Continuation semantics for parallel Haskell dialects

This page was built for publication: Continuation-based compilation of functional languages for parallel machines

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