Search the dblp DataBase

Publications of Author

1. Wolfram Kahl, Christopher Kumar Anand, Jacques Carette
   Control-Flow Semantics for Assembly-Level Data-Flow Graphs. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:147-160 [Conf]
   
2. Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan
   Hierarchical Representations with Signatures for Large Expression Management. [Citation Graph (0, 0)][DBLP]
   AISC, 2006, pp:254-268 [Conf]
   
3. Jacques Carette, Oleg Kiselyov
   Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. [Citation Graph (0, 0)][DBLP]
   GPCE, 2005, pp:256-274 [Conf]
   
4. Jacques Carette
   Understanding expression simplification. [Citation Graph (0, 0)][DBLP]
   ISSAC, 2004, pp:72-79 [Conf]
   
5. Wolfram Kahl, Jacques Carette, Xiaoheng Ji
   Bimonadic Semantics for Basic Pattern Matching Calculi. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:253-273 [Conf]
   
6. Jacques Carette, Michael Kucera
   Partial evaluation of Maple. [Citation Graph (0, 0)][DBLP]
   PEPM, 2007, pp:41-50 [Conf]
   
7. Jacques Carette, Pulak Kumar Chowdhury
   Symbolic Interpretation of Legacy Assembly Language. [Citation Graph (0, 0)][DBLP]
   WCRE, 2005, pp:23-32 [Conf]
   
8. Jacques Carette, William M. Farmer
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:151, n:1, pp:1-2 [Journal]
   
9. Sergei A. Abramov, Jacques Carette, Keith O. Geddes, Ha Q. Le
   Telescoping in the context of symbolic summation in Maple. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2004, v:38, n:4, pp:1303-1326 [Journal]
   
10. Jacques Carette
    Gaussian Elimination: A case study in efficient genericity with MetaOCaml. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:62, n:1, pp:3-24 [Journal]
    
11. Jacques Carette
    A canonical form for piecewise defined functions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2007, pp:77-84 [Conf]
    
12. Jacques Carette, William M. Farmer, Volker Sorge
    A Rational Reconstruction of a System for Experimental Mathematics. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:13-26 [Conf]
    
13. Jacques Carette
    A canonical form for some piecewise defined functions [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
14. 
    Case Studies in Model Manipulation for Scientific Computing. [Citation Graph (, )][DBLP]
    
    
15. 
    High-Level Theories. [Citation Graph (, )][DBLP]
    
    
16. 
    Mechanized Mathematics. [Citation Graph (, )][DBLP]
    
    
17. 
    Symbolic Domain Decomposition. [Citation Graph (, )][DBLP]
    
    
18. 
    Finally Tagless, Partially Evaluated. [Citation Graph (, )][DBLP]
    
    
19. 
    A Review of Mathematical Knowledge Management. [Citation Graph (, )][DBLP]
    
    
20. 
    The Power of Vocabulary: The Case of Cyclotomic Polynomials [Citation Graph (, )][DBLP]