BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
partial evaluation
Google partial evaluation

Tag #partial evaluation

163 papers:

OOPSLAOOPSLA-2018-LeissaBHPMSMS #framework #library #named #programming
AnyDSL: a partial evaluation framework for programming high-performance libraries (RL, KB, SH, APG, RM, PS, AM, BS), p. 30.
POPLPOPL-2018-BrownP #normalisation
Jones-optimal partial evaluation by specialization-safe normalization (MB, JP), p. 28.
MoDELSMoDELS-2017-UlkeSL #ocl
Partial Evaluation of OCL Expressions (BU, FS, RL), pp. 63–73.
PEPMPEPM-2017-BerezunJ #compilation #game studies #semantics #λ-calculus
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper) (DB, NDJ), pp. 1–11.
PLDIPLDI-2017-WurthingerWHWSS
Practical partial evaluation for high-performance dynamic language runtimes (TW, CW, CH, AW, LS, CS, GD, DS, MG), pp. 662–676.
CIKMCIKM-2016-WangWZ #distributed #graph #performance #query #rdf #using
Efficient Distributed Regular Path Queries on RDF Graphs Using Partial Evaluation (XW0, JW, XZ), pp. 1933–1936.
LOPSTRLOPSTR-2016-AlpuenteCEM #axiom #equation #order #source code
Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms (MA, ACO, SE, JM), pp. 3–20.
OOPSLAOOPSLA-2015-MarrD #self
Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters (SM, SD), pp. 821–839.
OOPSLAOOPSLA-2015-SrinivasanR
Partial evaluation of machine code (VS, TWR), pp. 860–879.
GPCEGPCE-2015-LeissaBHMS #domain-specific language #online
Shallow embedding of DSLs via online partial evaluation (RL, KB, SH, RM, PS), pp. 11–20.
LOPSTRLOPSTR-2014-SinghK #detection #java
Partial Evaluation for Java Malware Detection (RS, AK), pp. 133–147.
PEPMPEPM-2014-Scholz #case study #compilation #experience
Partial evaluation as universal compiler tool: experiences from the SAC Eco system (SBS), pp. 95–96.
PPDPPPDP-2014-AsaiFTZ #specification
A Type Theoretic Specification of Partial Evaluation (KA, LF, PT, YZ), pp. 57–68.
ISSTAISSTA-2014-TrippFP #analysis #hybrid #javascript #security #web
Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.
DACDAC-2013-WagstaffGFT #architecture #set
Early partial evaluation in a JIT-compiled, retargetable instruction set simulator generated from a high-level architecture description (HW, MG, BF, NPT), p. 6.
TOOLSTOOLS-EUROPE-2012-ZhengAMSBVTQM #bytecode
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation (YZ, DA, LM, AS, WB, AV, PT, ZQ, MM), pp. 353–368.
PEPMPEPM-2012-GiacobazziJM #obfuscation
Obfuscation by partial evaluation of distorted interpreters (RG, NDJ, IM), pp. 63–72.
ICSEICSE-2012-RazaviK #model transformation
Partial evaluation of model transformations (AR, KK), pp. 562–572.
ICLPICLP-J-2012-Vidal #independence #logic programming #source code
Annotation of logic programs for independent AND-parallelism by partial evaluation (GV), pp. 583–600.
OOPSLAOOPSLA-2011-ShaliC #hybrid
Hybrid partial evaluation (AS, WRC), pp. 375–390.
PEPMPEPM-J-2007-CaretteK11a
Partial evaluation of Maple (JC, MK), pp. 469–491.
PEPMPEPM-2011-BolzCFLPR #jit
Allocation removal by partial evaluation in a tracing JIT (CFB, AC, MF, ML, SP, AR), pp. 43–52.
PEPMPEPM-2011-Mogensen
Partial evaluation of the reversible language janus (TÆM), pp. 23–32.
ICFPICFP-2010-BradyH #domain-specific language #implementation #using
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation (EB, KH), pp. 297–308.
LOPSTRLOPSTR-2010-Vidal #approach #hybrid #logic programming #source code
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (GV), pp. 200–214.
PEPMPEPM-2010-AlbertGP #bytecode #generative #java #named #testing
PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.
LOPSTRLOPSTR-2009-BolzLR #prolog #towards
Towards Just-In-Time Partial Evaluation of Prolog (CFB, ML, AR), pp. 158–172.
LOPSTRLOPSTR-2009-Vidal #declarative #scalability #source code #towards
Towards Scalable Partial Evaluation of Declarative Programs (GV), pp. 1–4.
SCAMSCAM-2008-Gomez-ZamalloaAP #composition #decompiler #low level
Modular Decompilation of Low-Level Code by Partial Evaluation (MGZ, EA, GP), pp. 239–248.
LOPSTRLOPSTR-2008-AlbertGP #bytecode #generative #testing
Test Data Generation of Bytecode by CLP Partial Evaluation (EA, MGZ, GP), pp. 4–23.
LOPSTRLOPSTR-2008-LeuschelV #logic programming #performance #scalability #source code
Fast Offline Partial Evaluation of Large Logic Programs (ML, GV), pp. 119–134.
QAPLQAPL-2008-OchoaP
Oracle-Based Partial Evaluation (CO, GP), pp. 145–161.
ICLPICLP-2008-Vidal #analysis #effectiveness #predict
Trace Analysis for Predicting the Effectiveness of Partial Evaluation (GV), pp. 790–794.
IFLIFL-2007-HerhutSBGT #contract #dependent type #proving #towards
From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.
LOPSTRLOPSTR-2007-AlbertGGP #online #type system
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (EA, JPG, MGZ, GP), pp. 23–42.
LOPSTRLOPSTR-2007-FischerSTV #functional #lazy evaluation #source code
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.
PADLPADL-2007-KloseOL
Partial Evaluation of Pointcuts (KK, KO, ML), pp. 320–334.
PEPMPEPM-2007-CaretteK
Partial evaluation of Maple (JC, MK), pp. 41–50.
PEPMPEPM-2007-OchoaP
Poly-controlled partial evaluation in practice (CO, GP), pp. 164–173.
PEPMPEPM-2007-Vidal #logic programming #source code #termination
Quasi-terminating logic programs for ensuring the termination of partial evaluation (GV), pp. 51–60.
VLDBVLDB-2006-BunemanCFK #distributed #query #using
Using Partial Evaluation in Distributed Query Evaluation (PB, GC, WF, AK), pp. 211–222.
LOPSTRLOPSTR-2006-ArroyoRSV #graph #using
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs (GA, JGR, JS, GV), pp. 60–76.
LOPSTRLOPSTR-2006-LeuschelCE #logic programming #online #source code #using
Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques (ML, SJC, DE), pp. 43–59.
PEPMPEPM-2006-CooperMG #on the #optimisation #simulation
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations (JC, SM, AG), pp. 12–20.
PEPMPEPM-2006-ThompsonM
Bit-level partial evaluation of synchronous circuits (ST, AM), pp. 29–37.
PPDPPPDP-2006-PueblaO
Poly-controlled partial evaluation (GP, CO), pp. 261–271.
ICFPICFP-2005-RamosSV #performance #source code
Fast narrowing-driven partial evaluation for inductively sequential programs (JGR, JS, GV), pp. 228–239.
LOPSTRLOPSTR-2005-AlbertPG #logic programming #source code
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (EA, GP, JPG), pp. 115–132.
PPDPPPDP-2005-TombF #automation #type inference
Automatic type inference via partial evaluation (AT, CF), pp. 106–116.
ICFPICFP-2004-HermanM #embedded #static analysis
Improving the static analysis of embedded languages via partial evaluation (DH, PM), pp. 16–27.
PEPMPEPM-2004-Asai
Offline partial evaluation for shift and reset (KA), pp. 3–14.
PEPMPEPM-2004-Debois #imperative #optimisation
Imperative program optimization by partial evaluation (SD), pp. 113–122.
POPLPOPL-2004-BalatCF #normalisation #λ-calculus
Extensional normalisation and type-directed partial evaluation for typed λ calculus with sums (VB, RDC, MPF), pp. 64–76.
DATEDATE-v1-2004-SchaumontV #interactive
Interactive Cosimulation with Partial Evaluation (PS, IV), pp. 642–647.
PEPMPEPM-2003-AgerDR #pattern matching #performance #string
Fast partial evaluation of pattern matching in strings (MSA, OD, HKR), pp. 3–9.
PEPMPEPM-2003-GluckKH
Transforming interpreters into inverse interpreters by partial evaluation (RG, YK, TH), pp. 10–19.
PEPMPEPM-2003-HatcliffDDJRR #component #corba #design #slicing
Slicing and partial evaluation of CORBA component model designs for avionics system (JH, WD, MBD, GJ, VPR, R), pp. 1–2.
SASSAS-2003-Thiemann #continuation
Continuation-Based Partial Evaluation without Continuations (PT), pp. 366–382.
GPCEGPCE-2003-ElphickLC #matlab
Partial Evaluation of MATLAB (DE, ML, SJC), pp. 344–363.
PEPMASIA-PEPM-2002-AgerDR #on the #string
On obtaining Knuth, Morris, and Pratt’s string matcher by partial evaluation (MSA, OD, HKR), pp. 32–46.
LOPSTRLOPSTR-2002-Vidal #declarative #multi #slicing #source code
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation (GV), pp. 219–237.
PEPMPEPM-2002-Asai #online
Online partial evaluation for shift and reset (KA), pp. 19–30.
PEPMPEPM-2002-MeurLC #programming language #towards
Towards bridging the gap between programming languages and partial evaluation (AFLM, JLL, CC), pp. 9–18.
GPCEGPCE-2002-BalatD
Memoization in Type-Directed Partial Evaluation (VB, OD), pp. 78–92.
WCREWCRE-2001-BaxterM #preprocessor
Preprocessor Conditional Removal by Simple Partial Evaluation (IDB, MM), pp. 281–290.
LOPSTRLOPSTR-2000-AlbertAV #effectiveness
Measuring the Effectiveness of Partial Evaluation (EA, SA, GV).
LOPSTRLOPSTR-J-2000-AlbertAV #effectiveness #functional #logic
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages (EA, SA, GV), pp. 103–124.
PEPMPEPM-2000-GrobauerY
The Second Futamura Projection for Type-Directed Partial Evaluation (BG, ZY), pp. 22–32.
PEPMPEPM-2000-SumiiK #approach
Online-and-Offline Partial Evaluation: A Mixed Approach (ES, NK), pp. 12–21.
CCCC-2000-Thiemann #adaptation #compilation #source code
Compiling Adaptive Programs by Partial Evaluation (PT), pp. 264–278.
FLOPSFLOPS-1999-BartheS #calculus
Partial Evaluation and Non-inference for Object Calculi (GB, BPS), pp. 53–67.
PEPMPEPM-1999-Jay #experience #source code
Partial Evaluation of Shaped Programs: Experience with FISh (CBJ), pp. 147–158.
PEPMPEPM-1999-PueblaHG #abstract interpretation #framework #integration
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework (GP, MVH, JPG), pp. 75–84.
PEPMPEPM-1999-Veldhuizen #c++
C++ Templates as Partial Evaluation (TLV), pp. 13–18.
PPDPPPDP-1999-Filinski #semantics
A Semantic Account of Type-Directed Partial Evaluation (AF), pp. 378–395.
RTARTA-1998-DanvyR #higher-order
Higher-Order Rewriting and Partial Evaluation (OD, KHR), pp. 286–301.
FLOPSFLOPS-1998-Danvy #online
Online Type-Directed Partial Evaluation (OD), pp. 271–295.
ECOOPECOOP-1998-MasuharaY #concurrent #design
Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language (HM, AY), pp. 418–439.
LOPSTRLOPSTR-1997-LafaveG #constraints #functional #logic programming #source code
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs (LL, JPG), pp. 168–188.
PEPMPEPM-1997-AsaiMY #call-by #λ-calculus
Partial Evaluation of Call-by-Value λ-Calculus with Side-Effects (KA, HM, AY), pp. 12–21.
PEPMPEPM-1997-Augustsson
Partial Evaluation in Aircraft Crew Planning (LA), pp. 127–136.
PEPMPEPM-1997-BeshersF #compilation #generative #performance #using #visualisation
Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation (CB, SF), pp. 107–115.
PEPMPEPM-1997-Debray #bound
Resource-Bounded Partial Evaluation (SKD), pp. 179–192.
PEPMPEPM-1997-GenglerM #self #π-calculus
Self-Applicable Partial Evaluation for the π-Calculus (MG, MM), pp. 36–46.
PEPMPEPM-1997-HeldalH #compilation
Partial Evaluation and Separate Compilation (RH, JH), pp. 1–11.
PEPMPEPM-1997-MullerVM #optimisation #protocol #scalability
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol (GM, ENV, RM), pp. 116–126.
PLDIPLDI-1997-SperberT #compilation
Two for the Price of One: Composing Partial Evaluation and Compilation (MS, PT), pp. 215–225.
SASSAS-1997-Jones #abstract interpretation #overview
Combining Abstract Interpretation and Partial Evaluation (Brief Overview) (NDJ), pp. 396–405.
ASEASE-1997-MarletTC #architecture #implementation #performance
Mapping Software Architectures to Efficient Implementations via Partial Evaluation (RM, ST, CC), pp. 183–192.
ASF+SDFASF+SDF-1997-BorovanskyK
Strategies of ELAN: meta-interpretation and partial evaluation (PB, HK), p. 2.
DATEEDTC-1997-WalrathVB #analysis #performance #using #verification
Performance verification using partial evaluation and interval analysis (JW, RV, WB), p. 622.
PLDIPLDI-1996-SperberT #compilation
Realistic Compilation by Partial Evaluation (MS, PT), pp. 206–214.
PPDPPLILP-1996-DanvyV #case study #compilation #semantics
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (OD, RV), pp. 182–197.
PPDPPLILP-1996-Thiemann #implementation
Implementing Memoization for Partial Evaluation (PT), pp. 198–212.
POPLPOPL-1996-Danvy
Type-Directed Partial Evaluation (OD), pp. 242–257.
SASSAS-1996-AndersenH #analysis #functional #higher-order #termination
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language (PHA, CKH), pp. 67–82.
CCCC-1996-Salomon #maintenance #reuse #usability #using
Using Partial Evaluation in Support of Portability, Reusability, and Maintainability (DJS), pp. 208–222.
ESOPESOP-1996-AlpuenteFV #functional #logic programming #source code
Narrowing-Driven Partial Evaluation of Functional Logic Programs (MA, MF, GV), pp. 45–61.
ESOPESOP-1996-Bechet #encoding #using
Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages (DB), pp. 77–91.
OOPSLAOOPSLA-1995-MasuharaMAY #compilation #concurrent #object-oriented #using
Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation (HM, SM, KA, AY), pp. 300–315.
PEPMPEPM-1995-Doh
Action Transformation by Partial Evaluation (KGD), pp. 230–240.
PEPMPEPM-1995-LeuschelS #towards
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters (ML, DDS), pp. 253–263.
PEPMPEPM-1995-Mogensen #online #self #λ-calculus
Self-applicable Online Partial Evaluation of Pure λ Calculus (TÆM), pp. 39–44.
PPDPPLILP-1995-HengleinS #semantics
A Semantic Model of Binding Times for Safe Partial Evaluation (FH, DS), pp. 299–320.
LISPLFP-1994-LawallD
Continuation-Based Partial Evaluation (JLL, OD), pp. 227–238.
LOPSTRLOPSTR-1994-Leuschel
Partial Evaluation of the “Real Thing” (ML), pp. 122–137.
PEPMPEPM-1994-BaierGZ #fortran #source code
Partial Evaluation of Numerical Programs in Fortran (RB, RG, RZ), pp. 119–132.
PEPMPEPM-1994-BerlinS #experience #tool support
Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience (AAB, RJS), pp. 133–141.
PEPMPEPM-1994-BondorfD
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand (AB, DD), pp. 1–9.
PEPMPEPM-1994-DanvyMP
The Essence of Eta-Expansion in Partial Evaluation (OD, KM, JP), pp. 11–20.
PEPMPEPM-1994-Jones
Dictionary-Free Overloading by Partial Evaluation (MPJ), pp. 107–117.
ESOPESOP-1994-SorensenGJ #deforestation #supercompilation #towards
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.
ICLPILPS-1994-Jones #abstract interpretation #functional #logic programming
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming (NDJ), pp. 17–22.
FPCAFPCA-1993-BondorfP #compilation
Compiling Actions by Partial Evaluation (AB, JP), pp. 308–320.
CAiSECAiSE-1993-BlazyF #comprehension #fortran #source code #symbolic computation
Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs (SB, PF), pp. 184–198.
SEKESEKE-1993-BlazyF #comprehension #fortran #source code
Partial Evaluation for the Understanding of FORTRAN Programs (SB, PF), pp. 517–525.
LOPSTRLOPSTR-1993-Waal #power of
The Power of Partial Evaluation (DAdW), pp. 113–123.
PEPMPEPM-1993-Consel93a #higher-order
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages (CC), pp. 145–154.
PEPMPEPM-1993-ConselPW #composition #incremental #operating system #performance
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems (CC, CP, JW), pp. 44–46.
PEPMPEPM-1993-Lawall #induction #proving #using
Proofs by Structural Induction using Partial Evaluation (JLL), pp. 155–166.
PEPMPEPM-1993-Malmkjaer #performance #towards
Towards Efficient Partial Evaluation (KM), pp. 33–43.
PEPMPEPM-1993-Mossin #parsing
Partial Evaluation of General Parsers (CM), pp. 13–21.
POPLPOPL-1993-ConselD #tutorial
Tutorial Notes on Partial Evaluation (CC, OD), pp. 493–501.
ICMLML-1992-ClarkH #integration #lazy evaluation
Lazy Partial Evaluation: An Integration of Explanation-Based Generalization and Partial Evaluation (PC, RCH), pp. 82–91.
LOPSTRLOPSTR-1992-Giacomo #query
Intensional Query Answering: An Application of Partial Evaluation (GDG), pp. 132–150.
LOPSTRLOPSTR-1992-LammaM
A Rationalisation of the ATMS in Terms of Partial Evaluation (EL, PM), pp. 118–131.
PEPMPEPM-1992-AndersenG #analysis
Speedup Analysis in Partial Evaluation: Preliminary Results (LOA, CKG), pp. 1–7.
PEPMPEPM-1992-KatzW #towards
Towards a New Perspective on Partial Evaluation (MK, DW), pp. 29–37.
PEPMPEPM-1992-Mogensen #self #λ-calculus
Self-applicable Partial Evaluation for Pure λ Calculus (TÆM), pp. 116–121.
POPLPOPL-1992-Jorgensen #compilation #generative #lazy evaluation
Generating a Compiler for a Lazy Language by Partial Evaluation (JJ), pp. 258–268.
POPLPOPL-1992-NirkheP #imperative #programming language #realtime
Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time Systems (VN, WP), pp. 269–280.
SASWSA-1992-Bechet #interactive
Partial Evaluation of Interaction Nets (DB), pp. 331–338.
SASWSA-1992-QueinnecG #backtracking #pattern matching
Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack (CQ, PG), pp. 109–117.
SASWSA-1992-Saint-James #compilation #industrial
Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines (ESJ), pp. 102–108.
CCCC-1992-Andersen #automation #c #compilation #generative
Partial Evaluation of C and Automatic Compiler Generation (LOA), pp. 251–257.
FPCAFPCA-1991-WeiseCRS #automation #online
Automatic Online Partial Evaluation (DW, RC, ER, SS), pp. 165–191.
LOPSTRLOPSTR-1991-Mill
Pruning Operators for Partial Evaluation (PMM), pp. 183–204.
LOPSTRLOPSTR-1991-Ross #prolog #semantics #source code
Semantics-based Partial Evaluation of Prolog Programs (BJR), pp. 221–237.
PEPMPEPM-1991-HickeyS #towards
Toward the Partial Evaluation of CLP Languages (TJH, DAS), pp. 43–51.
PEPMPEPM-1991-HolstG #lazy evaluation
Partial Evaluation is Fuller Laziness (CKH, CKG), pp. 223–233.
PEPMPEPM-1991-KhooS #compilation #inheritance #using
Compiling Inheritance using Partial Evaluation (SCK, RSS), pp. 211–222.
PEPMPEPM-1991-Lisper #algorithm #detection
Detecting Static Algorithms by Partial Evaluation (BL), pp. 31–42.
PEPMPEPM-1991-Meyer #imperative
Techniques for Partial Evaluation of Imperative Languages (UM), pp. 94–105.
PEPMPEPM-1991-ShermanSD #equation #optimisation #source code #using
Optimization of Equational Programs Using Partial Evaluation (DS, RS, ID), pp. 72–82.
PEPMPEPM-1991-Smith #constraints #logic programming #pattern matching #programming language
Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages (DAS), pp. 62–71.
PEPMPEPM-1991-Sundaresh #incremental #source code #using
Building Incremental Programs using Partial Evaluation (RSS), pp. 83–93.
PLDIPLDI-1991-ConselK
Parameterized Partial Evaluation (CC, SCK), pp. 92–106.
POPLPOPL-1991-SundareshH #compilation #incremental
Incremental Compilation via Partial Evaluation (RSS, PH), pp. 1–13.
SASWSA-1991-ColbyL #implementation
An Implementation of Parametrized Partial Evaluation (CC, PL), pp. 82–89.
SASWSA-1991-DurandSS #equation #source code
Partial Evaluation of an Intermediate Language for Equational Programs (ID, DS, RS), pp. 98–106.
SASWSA-1991-NielBV #functional #problem #representation
Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem (ADN, EB, KDV), pp. 90–97.
ICALPICALP-1990-Jones #self
Partial Evaluation, Self-Application and Types (NDJ), pp. 639–659.
LISPLFP-1990-Berlin
Partial Evaluation Applied to Numerical Computation (AB), pp. 139–150.
ICLPNACLP-1990-BenkerimiL #logic programming #source code
A Partial Evaluation Procedure for Logic Programs (KB, JWL), pp. 343–358.
ICLPNACLP-1990-BugliesiLM #logic
Partial Evaluation for Hierarchies of Logic Theories (MB, EL, PM), pp. 359–376.
ICLPNACLP-1990-Sahlin #approach #automation #prolog
The Mixtus Approach to Automatic Partial Evaluation of Full Prolog (DS), pp. 377–398.
ICLPNACLP-1990-SmithH
Partial Evaluation of a CLP Language (DAS, TJH), pp. 119–138.
ICLPNACLP-1989-BugliesiR #prolog
Partial Evaluation in Prolog: Some Improvements about Cut (MB, FR), pp. 645–660.
ICLPNACLP-1989-FurukawaFS #performance
Deriving an Efficient Production System by Partial Evaluation (KF, HF, TS), pp. 661–674.
ESOPESOP-1988-Consel #empirical
New Insights into Partial Evaluation: the SCHISM Experiment (CC), pp. 236–246.
ICLPJICSCP-1988-FujitaOF88 #constraints #haskell #source code
Partial Evaluation of GHC Programs Based on the UR-set with Constraints (HF, AO, KF), pp. 924–941.
RTARTA-1985-JonesSS #compilation #empirical #generative
An Experiment in Partial Evaluation: The Generation of a Compiler Generator (NDJ, PS, HS), pp. 124–140.
POPLPOPL-1982-Komorowski #data type #implementation #prolog
Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog (HJK), pp. 255–267.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.