N. Jones, C. Gomard, P. Sestoft, Partial Evaluation and Automatic Program Generation, Prentice-Hall, 1993. 3 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Domain-Specific Languages in Software Development - and the.. - Christensen (2003) (1 citation) Self-citation (Jones) (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, International Series in Computer Science, June 1993. ISBN number 0-13-020249-5 (pbk).
Transformation by Interpreter Specialisation - Jones (2004) (1 citation) Self-citation (Jones) (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial evaluation and automatic program generation. Prentice-Hall, Inc., 1993.
Gaussian Elimination: a case study in efficient genericity with.. - Carette (2005) (Correct)
No context found.
N. Jones, C. Gomard, P. Sestoft, Partial Evaluation and Automatic Program Generation, Prentice-Hall, 1993. 3
A Compiled Implementation of Strong Reduction - Grégoire, Leroy (2002) (3 citations) (Correct)
No context found.
N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (124 citations) (Correct)
No context found.
Jones, N. D., Gomard, C., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice Hall International, International Series in Computer Science.
Enforcing Resource Bounds via - Static Verification Of (Correct)
No context found.
Jones, N., Gomard, C., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall.
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
No context found.
N. D. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, International Series in Computer Science, June 1993. Series editor C. A. R. Hoare.
A Monadic Approach for Avoiding Code Duplication when .. - Swadi, Taha.. (2006) (Correct)
No context found.
N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Unknown - Multi-Stage Programming Language (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Towards Highly Optimized Real-time Middleware for.. - Krishna, Gokhale, .. (2006) (Correct)
No context found.
N. Jones, C. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation. Englewood Cliffs, NJ: Prentice Hall, 1993.
Efficient Code Generation for a Domain Specific Language - Moss, Muller (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial evaluation and automatic program generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1993.
Context-Specific Middleware Specialization.. - Krishna, Gokhale, .. (2001) (Correct)
No context found.
N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Englewood Cliffs, NJ: Prentice Hall, 1993.
Formal properties of shape analysis in FISh - Jay (1998) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice Hall International, 1993.
Basic Research in Computer Science - Fast Partial Evaluation (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall International, London, UK, 1993. Available online at http://www.dina.kvl.dk/~sestoft/pebook/. 21
Towards Highly Optimized Real-time Middleware for.. - Krishna, Gokhale, .. (2005) (Correct)
No context found.
N. Jones, C. Gomard, and P. Sestoft, Partial Evaluation and Automatic Program Generation. Englewood Cliffs, NJ: Prentice Hall, 1993.
From Interpreter to Logic Engine by Defunctionalization - Danvy, Danvy (2004) (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall International, London, UK, 1993. Available online at http://www.dina.kvl.dk/\char'176sestoft/ pebook/.
Functorial Lambda-Calculus - Jay School Of (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice Hall International, 1993.
Partial Evaluation of Shaped Programs: Experience with FISh - Jay (1999) (1 citation) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice Hall International, 1993.
The Abstraction and Instantiation of String-Matching.. - Amtoft, Consel.. (2001) (2 citations) (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall International, 1993. Available online at http://www.dina.kvl.dk/~sestoft/pebook/pebook. html.
Partial Evaluation for Constraint-Based Program Analyses - Amtoft (2000) (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science. Prentice-Hall, 1993.
ML-like Inference for Classifiers - Calcagno, Moggi, Taha (2004) (5 citations) (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
From Sequential Programs to Multi-Tier Applications by.. - Neubauer, Thiemann (2005) (Correct)
No context found.
N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Staging Dynamic Programming Algorithms - Kedar Swadi Kswadi (2005) (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Tagless Staged Interpreters for Typed Languages - Pasalic, Taha, Sheard (2002) (3 citations) (Correct)
No context found.
Neil D. Jones, Carsten K Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. PrenticeHall, 1993.
Generating Heap-bounded Programs in a - Functional Setting Walid (Correct)
No context found.
Jones, N. D., Gomard, C. K., and Sestoft, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Closed Types as a Simple Approach to Safe Imperative.. - Calcagno, Moggi, Taha (2000) (4 citations) (Correct)
No context found.
Neil D. Jones, Carsten K Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Protocol Specialization - Neubauer, Thiemann (Correct)
No context found.
Neil Jones, Carsten Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Generating Heap-bounded Programs in a - Functional Setting Walid (2003) (Correct)
No context found.
Jones, N. D., Gomard, C. K., and Sestoft, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Partial Evaluation for - Constraint-Based Program Analyses (1999) (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science. Prentice-Hall, 1993.
Implementing Multi-stage Languages Using ASTs, Gensym.. - Calcagno, Taha, Huang, .. (Correct)
No context found.
Jones, N. D., Gomard, C. K., and Sestoft, P. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
DSL Implementation in MetaOCaml, Template Haskell, and.. - Czarnecki, O'Donnell.. (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Protocol Specialization - Neubauer, Thiemann (Correct)
No context found.
Neil Jones, Carsten Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Automatic Program Specialization for Java - Schultz, Lawall, Consel (2003) (2 citations) (Correct)
No context found.
JONES, N., GOMARD,C.,AND SESTOFT, P. 1993. Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice-Hall.
Imperative Program Optimization by Partial Evaluation - Debois (2004) (1 citation) (Correct)
No context found.
N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, 1993.
Partial Evaluation and Non-Interference for Object Calculi - Barthe, Serpette (1999) (4 citations) (Correct)
No context found.
N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prenctice Hall, 1993.
Modal Typing for Specifying Run-time Code Generation - Washburn (2001) (Correct)
No context found.
Neil D. Jones, Carsten Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, International Series in Computer Science, June 1993
The Staging Transformation Approach to Mixing Initiative - Capra, Narayan.. (2003) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. PHI, 1993.
A Unifying View of Functional and Logic Program.. - Alpuente, Falaschi, Vidal (1998) (1 citation) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cli#s, NJ, 1993.
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cli#s, NJ, 1993.
Mixed-Initiative Interaction = Mixed Computation - Naren Ramakrishnan Virginia (2001) (Correct)
No context found.
N. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, 1993.
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (8 citations) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cli#s, NJ, 1993. 19
Narrowing-driven Partial Evaluation of Functional Logic.. - Alpuente, Falaschi, Vidal (1996) (12 citations) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cli#s, NJ, 1993.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
No context found.
Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, 1993.
An Automatic Program Generator for Multi-Level Specialization - Glück, Jørgensen (1997) (2 citations) (Correct)
No context found.
Jones, N.D., Gomard, C.K., and Sestoft, P. Partial Evaluation and Automatic Program Generation. Prentice Hall International Series in Computer Science, Prentice-Hall, 1993.
The Translation Power of the Futamura Projections - Glück (2003) (Correct)
No context found.
N. D. Jones, C. K. Gomard, P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, 1993.
Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000) (Correct)
No context found.
N. D. Jones, C. K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cli#s, NJ, 1993.
Rules + Strategies for Transforming Lazy Functional.. - Alpuente, Falaschi.. (2004) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cli#s, NJ, 1993.
Some Issues in Analysis and Specialization of Modular.. - Puebla, Hermenegildo (2000) (5 citations) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prenctice Hall, New York, 1993.
Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
No context found.
N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cli#s, NJ, 1993.
First 50 documents Next 50
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