Partial evaluation of Maple

DOI10.1016/j.scico.2010.12.001zbMath1215.68277DBLPjournals/scp/CaretteK11aOpenAlexW2009853803WikidataQ60712733 ScholiaQ60712733MaRDI QIDQ532411

Jacques Carette, Michael Kucera

Publication date: 4 May 2011

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.12.001

zbMATH Keywords

symbolic computationMaplepartial evaluationresidual theorems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theory of programming languages (68N15)

Related Items (2)

Onset conditions for a Rayleigh-Taylor instability with step function density profiles ⋮ Partial evaluation of Maple

Uses Software

• Maple
• ECCE

Cites Work

• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• Partial evaluation of Maple
• Gaussian elimination: a case study in efficient genericity with MetaOCaml
• Cogen in six lines
• A positive supercompiler
• Logic program specialisation through partial deduction: Control issues
• Conjunctive partial deduction: foundations, control, algorithms, and experiments
• Solving parametric linear systems
• A hybrid approach to online and offline partial evaluation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial evaluation of Maple