Kristoffer Høgsbro Rose - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged partial evaluation

On obtaining the Boyer-Moore string-matching algorithm by partial evaluationOlivier Danvy, Henning Korsholm Rohde. ipl, 99(4):158-162, 2006. [doi]

Poly-controlled partial evaluationGermán Puebla, Claudio Ochoa. ppdp 2006: 261-271 [doi]

Generating Message-passing Programs from Abstract Specifications by Partial EvaluationChristoph A. Herrmann. ppl, 15(3):305-320, 2005. [doi]

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sumsVincent Balat, Roberto Di Cosmo, Marcelo P. Fiore. POPL 2004: 64-76 [doi]

Offline partial evaluation for shift and resetKenichi Asai. PEPM 2004: 3-14 [doi]

On obtaining Knuth, Morris, and Pratt s string matcher by partial evaluationMads Sig Ager, Olivier Danvy, Henning Korsholm Rohde. PEPM 2002: 32-46 [doi]

Memoization in Type-Directed Partial EvaluationVincent Balat, Olivier Danvy. GPCE 2002: 78-92 [doi]

Online partial evaluation for shift and resetKenichi Asai. PEPM 2002: 19-30 [doi]

Partial evaluation of multi-paradigm declarative languagesElvira Albert. aicom, 14(4):235-237, 2001. [doi]

Partial Evaluation of ViewsParke Godfrey, Jarek Gryz. jiis, 16(1):21-39, 2001.

Normalization and Partial EvaluationPeter Dybjer, Andrzej Filinski. ac 2002: 137-192 [doi]

A Strategy for Partial Evaluation of ViewsParke Godfrey, Jarek Gryz. iiswc 2000: 337-349

Glossary for Partial Evaluation and Related TopicsTorben Æ. Mogensen. lisp, 13(4):355-368, 2000.

A Semantic Account of Type-Directed Partial EvaluationAndrzej Filinski. ppdp 1999: 378-395

Deriving a Statically Typed Type-Directed Partial EvaluatorMorten Rhiger. PEPM 1999: 25-29

Higher-Order Rewriting and Partial EvaluationOlivier Danvy, Kristoffer Høgsbro Rose. RTA 1998: 286-301 [doi]

Type-Directed Partial EvaluationOlivier Danvy. PEPM 1999: 367-411

Online Type-Directed Partial EvaluationOlivier Danvy. FLOPS 1998: 271-295

Equations as a Uniform Framework for Partial Evaluation and Abstract InterpretationJohn Field, Jan Heering, T. B. Dinesh. ACM Comput. Surv., 30(3es):2, 1998. [doi]

Visualizing Partial EvaluationOscar Waddell, R. Kent Dybvig. ACM Comput. Surv., 30(3es):24, 1998. [doi]

Two Flavors of Offline Partial EvaluationSimon Helsen, Peter Thiemann. asian 1998: 188-205 [doi]

Partial Evaluation: Concepts and ApplicationsTorben Æ. Mogensen. PEPM 1999: 1-19

Controlled Self-Applicable On-Line Partial Evaluation, Using StrategiesM. Beckman, Samuel N. Kamin. iccl 1998: 143-152 [doi]

Partial Evaluation of the Euclidian AlgorithmOlivier Danvy, Mayer Goldberg. lisp, 10(2):101-111, 1997.

Fast Evaluation of Partial Derivatives and Interval SlopesChristian Bliek. rc, 3(3):259-268, 1997. [doi]

A Type-directed, On-line, Partial Evaluator for a Polymorphic LanguageTim Sheard. PEPM 1997: 22-35 [doi]

Resource-Bounded Partial EvaluationOlivier Danvy, Nevin Hentze, Karoline Malmkjær. ACM Comput. Surv., 28(2):329-332, 1996.

Type-Directed Partial EvaluationOlivier Danvy. POPL 1996: 242-257 [doi]

Pragmatics of Type-Directed Partial EvaluationOlivier Danvy. Dagstuhl 1996: 73-94

Evolution of Partial Evaluators: Removing Inherited LimitsTorben Æ. Mogensen. Dagstuhl 1996: 303-321

A practical method for numerical evaluation of solutions of partial differential equations of the heat-conduction typeJ. Crank, P. Nicolson. adcm, 6(1):207-226, 1996. [doi]

Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed LanguagesDenis Béchet. ESOP 1996: 77-91

Dictionary-Free Overloading by Partial EvaluationMark P. Jones. lisp, 8(3):229-248, 1995.

Self-applicable Online Partial Evaluation of Pure Lambda CalculusTorben Æ. Mogensen. PEPM 1995: 39-44

Partial Evaluation for Program SpeedupsOlivier Danvy. ifip11-9 1994: 579-580

Dictionary-Free Overloading by Partial EvaluationMark P. Jones. PEPM 1994: 107-117

Localized Partial Evaluation of Belief NetworksDenise Draper, Steve Hanks. uai 1994: 170-177 [doi]

A Partial Evaluator for the Maruti Hard Real-Time SystemVivek Nirkhe, William Pugh. rts, 5(1):13-30, 1993.

Tutorial Notes on Partial EvaluationCharles Consel, Olivier Danvy. POPL 1993: 493-501

Proofs by Structural Induction using Partial EvaluationJulia L. Lawall. PEPM 1993: 155-166

Towards Efficient Partial EvaluationKaroline Malmkjær. PEPM 1993: 33-43

A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative LanguagesCharles Consel. PEPM 1993: 145-154

The Power of Partial EvaluationD. Andre de Waal. LOPSTR 1993: 113-123

Partial Evaluation in ParallelCharles Consel, Olivier Danvy. lisp, 5(4):327-342, 1992.

Partial Evaluation of Interaction NetsDenis Béchet. SAS 1992: 331-338

Self-applicable Partial Evaluation for Pure Lambda CalculusTorben Æ. Mogensen. PEPM 1992: 116-121

A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and PragmaticsCarsten K. Gomard. TOPLAS, 14(2):147-172, 1992. [doi]

Partial Evaluation of Polymorphically Typed Functional Languages: the Representation ProblemAnne De Niel, Eddi Bevers, Karel De Vlaminck. SAS 1991: 90-97

A Strongly-Typed Self-Applicable Partial EvaluatorJohn Launchbury. fpca 1991: 145-164

Deriving an Efficient Production System by Partial EvaluationKoichi Furukawa, Hiroshi Fujita, Toramatsu Shintani. SLP 1989: 661-674

runs on WebDSL