Combining program and data specialization

DOI10.1023/A:1010035401770zbMath1008.68022OpenAlexW1534041718MaRDI QIDQ1974449

Renaud Marlet, Sandrine Chirokoff, Charles Consel

Publication date: 7 May 2000

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010035401770

zbMATH Keywords

program transformationpartial evaluationprogram specializationdata specialization

Mathematics Subject Classification ID

Data structures (68P05) General topics in the theory of software (68N01)

This page was built for publication: Combining program and data specialization