Compiling for template-based run-time code generation

DOI10.1017/S095679680200463XMaRDI QIDQ4408687zbMATH OpenOpenAlexFDO

Authors Frederick Smith, Dan Grossman, Greg Morrisett, Luke Hornof, Trevor Jim

Publication date 2003

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

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

zbMATH Keywords

Cyclone

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Certifying compilation and run-time code generation
• A portable approach to dynamic optimization in run-time specialization
• scientific article; zbMATH DE number 2000460
• scientific article; zbMATH DE number 1956469
• Refined environment classifiers. Type- and scope-safe code generation with mutable cells

Cited in

(2)

• scientific article; zbMATH DE number 1956469 (Why is no real title available?)
• scientific article; zbMATH DE number 1738294 (Why is no real title available?)

Describes a project that uses

Uses Software

• Cyclone
• DyC

This page was built for publication: Compiling for template-based run-time code generation

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