Continuation-based compilation of functional languages for parallel machines

DOI10.1017/S0960129500001547zbMath0798.68033OpenAlexW1990019862MaRDI QIDQ4279253

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

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

correctnessprogram transformationscompilationparallel implementations of functional languages

Mathematics Subject Classification ID

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

Cites Work

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

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