DyC: An expressive annotation-directed dynamic compiler for C

DOI10.1016/S0304-3975(00)00051-7zbMath0949.68052WikidataQ121796739 ScholiaQ121796739MaRDI QIDQ1583356

B. Grant, M. Philipose, M. S. Mock, Craig Chambers, Susan J. Eggers

Publication date: 26 October 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

partial evaluationrun-time code generationprogram optimizationspecializationC languageconstant foldingdataflow analysisDynamic compilation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (6)

\textsc{Mnemonics}: type-safe bytecode generation at run time ⋮ Implicitly heterogeneous multi-stage programming ⋮ DyC ⋮ Towards a compilation paradigm for computational applications on the information power grid ⋮ Accurate program analyses for successful specialization of legacy system software ⋮ MetaML and multi-stage programming with explicit annotations

Uses Software

• Smalltalk

Cites Work

• The program dependence graph and its use in optimization
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: DyC: An expressive annotation-directed dynamic compiler for C