Generating C. System description

DOI10.1007/978-3-030-99461-7_5MaRDI QIDQ2163158zbMATH OpenOpenAlexFDO

Authors Oleg Kiselyov

Publication date 10 August 2022

Full work available at URL https://doi.org/10.1007/978-3-030-99461-7_5

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Cites work

• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Firedrake, automating the finite element method by composing abstractions
• scientific article; zbMATH DE number 2087570 (Why is no real title available?)
• Implicitly heterogeneous multi-stage programming
• In search of a program generator to implement generic transformations for high-performance computing
• Stream fusion, to completeness
• Typed Tagless Final Interpreters

Describes a project that uses

Uses Software

• BER MetaOCaml
• Terra
• SPIRAL
• OCaml
• FFTW
• LMS
• Strymonas
• Halide
• CIL

This page was built for publication: Generating C. System description

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