Search the dblp DataBase

Publications of Author

1. Morten Heine Sørensen, Jens P. Secher
   From Type Inference to Configuration. [Citation Graph (0, 0)][DBLP]
   The Essence of Computation, 2002, pp:436-472 [Conf]
   
2. Jens P. Secher, Morten Heine Sørensen
   On Perfect Supercompilation. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 1999, pp:113-127 [Conf]
   
3. Jens P. Secher
   Driving in the Jungle. [Citation Graph (0, 0)][DBLP]
   PADO, 2001, pp:198-217 [Conf]
   
4. Arne J. Glenstrup, Henning Makholm, Jens P. Secher
   C-MIX: Specialization of C Programs. [Citation Graph (0, 0)][DBLP]
   Partial Evaluation, 1998, pp:108-154 [Conf]
   
5. Jens P. Secher, Morten Heine Sørensen
   From checking to inference via driving and dag grammars. [Citation Graph (0, 0)][DBLP]
   PEPM, 2002, pp:41-51 [Conf]
   
6. Stephen Alstrup, Jens P. Secher, Mikkel Thorup
   Word encoding tree connectivity works. [Citation Graph (0, 0)][DBLP]
   SODA, 2000, pp:498-499 [Conf]
   
7. Stephen Alstrup, Jens P. Secher, Maz Spork
   Optimal On-Line Decremental Connectivity in Trees. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1997, v:64, n:4, pp:161-164 [Journal]