Tue Jun 22 12:22:06 CEST 2010

Carette's Implicit Model Specialization

Remarks from reading [1].

  * Model transformation is straightforward, but the selection of the
    techniques still requires human insight.  (I.e. too many degrees
    of freedom to automate).

  * Not only computation, also deduction is necessary (i.e. to prove
    that a particular computation can be eliminated).

  * Look into active libraries[2] and telescoping[4].

[1] http://www.cas.mcmaster.ca/~carette/newtongen/
[2] http://mozart-dev.sourceforge.net/activelib.html
[3] http://awurl.com/SvpJqXPwZ
[4] http://telescoping.rice.edu/