| 2008 |
|---|
| 17 | EE | Jacques Carette,
William M. Farmer:
High-Level Theories.
AISC/MKM/Calculemus 2008: 232-245 |
| 16 | EE | Jacques Carette,
Spencer Smith,
John McCutchan,
Christopher Kumar Anand,
Alexandre Korobkine:
Case Studies in Model Manipulation for Scientific Computing.
AISC/MKM/Calculemus 2008: 24-37 |
| 2007 |
|---|
| 15 | EE | Jacques Carette,
Oleg Kiselyov,
Chung-chieh Shan:
Finally Tagless, Partially Evaluated.
APLAS 2007: 222-238 |
| 14 | EE | Jacques Carette,
William M. Farmer,
Volker Sorge:
A Rational Reconstruction of a System for Experimental Mathematics.
Calculemus/MKM 2007: 13-26 |
| 13 | EE | Jacques Carette:
A canonical form for piecewise defined functions.
ISSAC 2007: 77-84 |
| 12 | EE | Jacques Carette,
Michael Kucera:
Partial evaluation of Maple.
PEPM 2007: 41-50 |
| 11 | EE | Jacques Carette:
A canonical form for some piecewise defined functions
CoRR abs/cs/0702010: (2007) |
| 10 | EE | Jacques Carette,
Ryszard Janicki:
Computing Properties of Numerical Imperative Programs by Symbolic Computation.
Fundam. Inform. 80(1-3): 125-146 (2007) |
| 2006 |
|---|
| 9 | EE | Wenqin Zhou,
Jacques Carette,
David J. Jeffrey,
Michael B. Monagan:
Hierarchical Representations with Signatures for Large Expression Management.
AISC 2006: 254-268 |
| 8 | EE | Wolfram Kahl,
Jacques Carette,
Xiaoheng Ji:
Bimonadic Semantics for Basic Pattern Matching Calculi.
MPC 2006: 253-273 |
| 7 | EE | Jacques Carette,
William M. Farmer:
Preface.
Electr. Notes Theor. Comput. Sci. 151(1): 1-2 (2006) |
| 6 | EE | Jacques Carette:
Gaussian Elimination: A case study in efficient genericity with MetaOCaml.
Sci. Comput. Program. 62(1): 3-24 (2006) |
| 2005 |
|---|
| 5 | EE | Jacques Carette,
Oleg Kiselyov:
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.
GPCE 2005: 256-274 |
| 4 | EE | Wolfram Kahl,
Christopher Kumar Anand,
Jacques Carette:
Control-Flow Semantics for Assembly-Level Data-Flow Graphs.
RelMiCS 2005: 147-160 |
| 3 | EE | Jacques Carette,
Pulak Kumar Chowdhury:
Symbolic Interpretation of Legacy Assembly Language.
WCRE 2005: 23-32 |
| 2004 |
|---|
| 2 | EE | Jacques Carette:
Understanding expression simplification.
ISSAC 2004: 72-79 |
| 1 | EE | Sergei A. Abramov,
Jacques Carette,
Keith O. Geddes,
Ha Q. Le:
Telescoping in the context of symbolic summation in Maple.
J. Symb. Comput. 38(4): 1303-1326 (2004) |
