Implicitly heterogeneous multi-stage programming

DOI10.1007/S00354-007-0020-XMaRDI QIDQ2478589zbMATH OpenOpenAlexFDO

Authors Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha

Publication date 28 March 2008

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00354-007-0020-x

zbMATH Keywords

semantics-based multi-stage programming language design

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of software (68N99)

Recommendations

• MetaML and multi-stage programming with explicit annotations
• Shifting the stage. Staging with delimited control
• scientific article; zbMATH DE number 1956524
• On Cross-Stage Persistence in Multi-Stage Programming
• Reasoning about multi-stage programs

Cites work

• scientific article; zbMATH DE number 2080282 (Why is no real title available?)
• scientific article; zbMATH DE number 2080283 (Why is no real title available?)
• DyC: An expressive annotation-directed dynamic compiler for C
• Environment classifiers
• Guarded recursive datatype constructors
• Implicitly heterogeneous multi-stage programming
• Introduction to algorithms.
• Meta-programming with built-in type equality
• MetaML and multi-stage programming with explicit annotations
• Programming Languages and Systems
• Tagless staged interpreters for typed languages

Cited in

(13)

• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• Static analysis of multi-staged programs via unstaging translation
• scientific article; zbMATH DE number 1956524 (Why is no real title available?)
• Multistage algorithms in C++.
• Optimizing data structures in high-level programs, new directions for extensible compilers based on staging
• Implicitly heterogeneous multi-stage programming
• Experiences with an object-oriented, multi-stage language
• Generating C. System description
• scientific article; zbMATH DE number 2018597 (Why is no real title available?)
• MetaOCaml server pages: web publishing as staged computation
• On Cross-Stage Persistence in Multi-Stage Programming
• Reasoning about multi-stage programs
• Shifting the stage. Staging with delimited control

Describes a project that uses

Uses Software

• VCODE
• MetaOCaml
• FFTW

This page was built for publication: Implicitly heterogeneous multi-stage programming

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