Jens P. Secher

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

Jens P. Secher, Morten Heine Sørensen
From checking to inference via driving and dag grammars. PEPM (2002)
Morten Heine Sørensen, Jens P. Secher
From Type Inference to Configuration. The Essence of Computation (2002)
Jens P. Secher
Driving in the Jungle. PADO (2001)
Stephen Alstrup, Jens P. Secher, Mikkel Thorup
Word encoding tree connectivity works. SODA (2000)
Jens P. Secher, Morten Heine Sørensen
On Perfect Supercompilation. Ershov Memorial Conference (1999)
Arne J. Glenstrup, Henning Makholm, Jens P. Secher
C-MIX: Specialization of C Programs. Partial Evaluation (1998)
Stephen Alstrup, Jens P. Secher, Maz Spork
Optimal On-Line Decremental Connectivity in Trees. Inf. Process. Lett. 64 (4) (1997)