Partial evaluation of Maple
type: Item
instance of: scholarly article
title: Partial evaluation of Maple
zbMATH Open document ID: 1215.68277
author: Jacques Carette
author: Michael Kucera
published in: Science of Computer Programming
publication date: 2011-05-04T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 5883965
zbMATH Keywords: Maple
zbMATH Keywords: symbolic computation
zbMATH Keywords: partial evaluation
zbMATH Keywords: residual theorems
describes a project that uses: Maple
describes a project that uses: ECCE
MaRDI profile type: Publication
full work available at URL: j.scico.2010.12.001
OpenAlex ID: W2009853803
Wikidata QID: Q60712733
cites work: Gaussian elimination: a case study in efficient genericity with MetaOCaml
cites work: Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
cites work: Q3416637
cites work: Q5287559
cites work: A hybrid approach to online and offline partial evaluation
cites work: Cogen in six lines
cites work: Q4343027
cites work: Conjunctive partial deduction: foundations, control, algorithms, and experiments
cites work: Logic program specialisation through partial deduction: Control issues
cites work: A positive supercompiler
cites work: Q4413065
cites work: Solving parametric linear systems
cites work: Q3416705
DBLP publication ID: journals/scp/CaretteK11a
DOI: 10.1016/J.SCICO.2010.12.001
description: scientific article; zbMATH DE number 5883965