Offline specialisation in Prolog using a hand-written compiler generator.

Jesper Jørgensen

Michael Leuschel Jesper Jørgensen Wim Vanhoof Maurice Bruynooghe Offline specialisation in Prolog using a hand-written compiler generator. 139-191 2004 4 Theory Pract. Log. Program. 1-2 db/journals/tplp/tplp4.html#LeuschelJVB04 https://doi.org/10.1017/S1471068403001662 https://www.wikidata.org/entity/Q122467267

Michael Leuschel Jesper Jørgensen Wim Vanhoof Maurice Bruynooghe Offline Specialisation in Prolog Using a Hand-Written Compiler Generator https://arxiv.org/abs/cs/0208009 2002 CoRR cs.PL/0208009 db/journals/corr/corr0208.html#cs-PL-0208009

Danny De Schreye Robert Glück Jesper Jørgensen Michael Leuschel Bern Martens Morten Heine Sørensen Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". 265 2000 43 J. Log. Program. 3 db/journals/jlp/jlp43.html#SchreyeDJLMS00 https://doi.org/10.1016/S0743-1066(99)00070-9

Danny De Schreye Robert Glück Jesper Jørgensen Michael Leuschel Bern Martens Morten Heine Sørensen Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. 231-277 1999 41 J. Log. Program. 2-3 db/journals/jlp/jlp41.html#SchreyeDJLMS99 https://doi.org/10.1016/S0743-1066(99)00030-8 https://www.wikidata.org/entity/Q62038272 Erratum: JLP 43(3): 265 (2000)

Michael Leuschel Jesper Jørgensen Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN. 1999 conf/iclp/1999woid https://doi.org/10.1016/S1571-0661(05)80636-X https://www.wikidata.org/entity/Q121915320 WOID@ICLP db/conf/iclp/woid1999.html#LeuschelJ99 157-162 Robert Glück John Hatcliff Jesper Jørgensen Generalization in Hierarchies of Online Program Specialization Systems. 179-198 https://doi.org/10.1007/3-540-48958-4_10 1998 conf/lopstr/1998 LOPSTR db/conf/lopstr/lopstr98.html#GluckHJ98 Jesper Jørgensen SIMILIX: A Self-Applicable Partial Evaluator for Scheme. 83-107 1998 conf/pepm/1998 Partial Evaluation db/conf/pepm/pe1998.html#Jorgensen98 https://doi.org/10.1007/3-540-47018-2_3 Robert Glück Jesper Jørgensen Multi-Level Specialization (Extended Abstract). 326-337 1998 conf/pepm/1998 Partial Evaluation db/conf/pepm/pe1998.html#GluckJ98 https://doi.org/10.1007/3-540-47018-2_13 https://www.wikidata.org/entity/Q62038276

Robert Glück Jesper Jørgensen An Automatic Program Generator for Multi-Level Specialization. 113-158 1997 10 LISP Symb. Comput. 2 db/journals/lisp/lisp10.html#GluckJ97

Jesper Jørgensen Michael Leuschel Efficiently Generating Efficient Generating Extensions in Prolog. 238-262 1996 conf/dagstuhl/1996pe Dagstuhl Seminar on Partial Evaluation db/conf/dagstuhl/dagstuhl-pe96.html#JorgensenL96 https://doi.org/10.1007/3-540-61580-6_12 Robert Glück Jesper Jørgensen Fast Binding-Time Analysis for Multi-Level Specialization. 261-272 1996 conf/ershov/1996 Ershov Memorial Conference db/conf/ershov/ershov1996.html#GluckJ96 https://doi.org/10.1007/3-540-62064-8_22 Jesper Jørgensen Michael Leuschel Bern Martens Conjunctive Partial Deduction in Practice. 59-82 1996 conf/lopstr/1996 LOPSTR db/conf/lopstr/lopstr96.html#JorgensenLM96 https://doi.org/10.1007/3-540-62718-9_5 Robert Glück Jesper Jørgensen Bern Martens Morten Heine Sørensen Controlling Conjunctive Partial Deduction. 152-166 1996 conf/plilp/1996 PLILP db/conf/plilp/plilp96.html#GluckJMS96 https://doi.org/10.1007/3-540-61756-6_83 https://www.wikidata.org/entity/Q62038288 Robert Glück Jesper Jørgensen Efficient Multi-level Generating Extensions for Program Specialization 259-278 conf/plilp/95 PLILP 1995 db/conf/plilp/plilp95.html#GluckJ95 https://doi.org/10.1007/BFb0026825 https://www.wikidata.org/entity/Q62038294 Robert Glück Jesper Jørgensen Generating Optimizing Specializers. 183-194 1994 conf/iccl/1994 ICCL db/conf/iccl/iccl1994.html#GluckJ94 https://doi.org/10.1109/ICCL.1994.288382 https://doi.ieeecomputersociety.org/10.1109/ICCL.1994.288382 Fritz Henglein Jesper Jørgensen Formally Optimal Boxing. 213-226 1994 conf/popl/1994 POPL db/conf/popl/popl94.html#HengleinJ94 https://doi.org/10.1145/174675.177874 Robert Glück Jesper Jørgensen Generating Transformers for Deforestation and Supercompilation. 432-448 1994 conf/sas/94 SAS db/conf/sas/sas94.html#GluckJ94 https://doi.org/10.1007/3-540-58485-4_57

Anders Bondorf Jesper Jørgensen Efficient Analysis for Realistic Off-Line Partial Evaluation. 315-346 1993 3 J. Funct. Program. 3 db/journals/jfp/jfp3.html#BondorfJ93 https://doi.org/10.1017/S0956796800000769

Jesper Jørgensen Generating a Compiler for a Lazy Language by Partial Evaluation. 258-268 1992 conf/popl/1992 POPL db/conf/popl/popl92.html#Jorgensen92 https://doi.org/10.1145/143165.143220 Jesper Jørgensen Generating a Pattern Matching Compiler by Partial Evaluation. 177-195 1990 Functional Programming https://doi.org/10.1007/978-1-4471-3810-5_15 conf/fp/1990 db/conf/fp/fp1990.html#Jorgensen90 Anders Bondorf Maurice Bruynooghe Robert Glück John Hatcliff Fritz Henglein Michael Leuschel Bern Martens Danny De Schreye Morten Heine Sørensen Wim Vanhoof