John Hatcliff - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged partial evaluation

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006John Hatcliff, Frank Tip, editors, ACM, 2006.

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]

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]

Slicing and partial evaluation of CORBA component model designs for avionics systemJohn Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby. PEPM 2003: 1-2 [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

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998John Hatcliff, Torben Æ. Mogensen, Peter Thiemann, editors, Volume 1706 of Lecture Notes in Computer Science, Springer, 1999.

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

An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart LanguageJohn Hatcliff. PEPM 1999: 20-82

Using Partial Evaluation to Enable Verification of Concurrent SoftwareMatthew B. Dwyer, John Hatcliff, Muhammad Nanda. ACM Comput. Surv., 30(3es):22, 1998. [doi]

Foundations for Partial Evaluation of Functional Programs with Computational EffectsJohn Hatcliff. ACM Comput. Surv., 30(3es):13, 1998. [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

A Computational Formalization for Partial EvaluationJohn Hatcliff, Olivier Danvy. mscs, 7(5):507-541, 1997.

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

Mechanically Verifying the Correctness of an Offline Partial EvaluatorJohn Hatcliff. plilp 1995: 279-298

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

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

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

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

runs on WebDSL