Generating C. System description

DOI10.1007/978-3-030-99461-7_5OpenAlexW4285245220MaRDI QIDQ2163158

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

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

Uses Software

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

Cites Work

• Unnamed Item
• Implicitly heterogeneous multi-stage programming
• In search of a program generator to implement generic transformations for high-performance computing
• Firedrake
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Typed Tagless Final Interpreters
• Stream fusion, to completeness

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