Jens Peter Secher  Home/Search
Context
Related
| diku.dk/diku/users/jpsec...secher.ps.gz diku.dk/diku/semantics/pa...D486.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: diku.dk/users/jpsecher/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Preface ................................... 9 1 (Update)
Active bibliography (related documents): More All
0.5: On Perfect Supercompilation - Secher, Sørensen (1999) (Correct)
0.5: Inferring Reduced Ordered Decision Graphs of Minimal .. - Alberto.. (1994) (Correct)
0.2: Combining Symbolic and Partial Order Methods for Model Checking.. - Heljanko (2002) (Correct)
Similar documents based on text: More All
0.6: Perfect Supercompilation - Secher (1999) (Correct)
0.5: Towards Unifying Partial Evaluation, Deforestation.. - Sørensen, Glück, Jones (1994) (Correct)
0.5: Conservation and Uniform Normalization in Lambda Calculi.. - Neergaard, Sørensen (2002) (Correct)
BibTeX entry: (Update)
@misc{ secher-drivingbased,
author = "Jens Peter Secher",
title = "Driving-based Program Transformation in Theory and Practice",
url = "citeseer.ist.psu.edu/secher02drivingbased.html" }
Citations (may not include all citations):183 A data structure for dynamic trees (context) - SLEATOR, TARJAN - 1983
26 Partial evaluation of pattern matching in constraint logic p.. (context) - SMITH - 1994
11 Product configuration frameworks--a survey (context) - SABIN, IG - 1998
9 A hashing method for fast set operations (context) - SASSA, GOTO - 1976
8 Constraints to stop deforestation - SEIDL, SORENSEN - 1998
5 A tutorial on Stlmarck's proof procedure for propositional l.. (context) - SHEERAN, STLMARCK - 2000
2 Dynamic variable ordering for ordered binary decision diagra.. (context) - RUDI - 1993
2 Department of Computer Science (context) - cI-I, supercompilation et al. - 1999
1 Deriving a lazy abstract machine (context) - STOFT - 1997
1 Driving in the jungle (context) - CHI - 2001
1 Inversion and metacomputation (context) - NKO
1 From checking to inference via driving and dag grammars (context) - CI, RI - 2002
1 The generation of inverse functions in Refal (context) - NKO
1 On perfect supercompilation (context) - cI-I, SOR - 2000
1 An algorithm of generalization in positive supercompilation (context) - RI, Gr - 1995
1 From type inference to configu- ration (context) - NSI, Sl - 2002
Documents on the same site (http://www.diku.dk/users/jpsecher/index.html): More
On Perfect Supercompilation - Secher, Sørensen (1999) (Correct)
Optimal On-line Decremental Connectivity in Trees - Secher, Spork (1998) (Correct)
Driving in the Jungle - Secher (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC