Advanced Search
All Posts : Product Tips & Techniques

Announcing MapleMIX

JacquesC 2396 Maple
March 11 2009
2

Mike Kucera and I are happy to announce the availability of MapleMIX, a partial evaluator for Maple. Partial evaluation (PE) is a program transformation technique that uses a subset of the inputs to a program to generate a specialized version of the program that will then accept the rest of the inputs. With PE it is possible to write algorithms in a highly general and abstracted form, and then automatically extract optimized versions of the algorithm specialized for certain inputs.

This is definitely ``experimental'' software!  It works beautifully on some examples, but still has a lot of rough corners.  Right now the main documentation consists of some research papers and the source code, so this is definitely for advanced users only.

The code is available under a BSD license. 
example format input document

Please Wait...