partial evaluation

---

partial evaluation

Tag #partial evaluation

163 papers:

OOPSLA-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.

POPL-2018-BrownP #normalisation

Jones-optimal partial evaluation by specialization-safe normalization (MB, JP), p. 28.

MoDELS-2017-UlkeSL #ocl

Partial Evaluation of OCL Expressions (BU, FS, RL), pp. 63–73.

PEPM-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.

PLDI-2017-WurthingerWHWSS

Practical partial evaluation for high-performance dynamic language runtimes (TW, CW, CH, AW, LS, CS, GD, DS, MG), pp. 662–676.

CIKM-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.

LOPSTR-2016-AlpuenteCEM #axiom #equation #order #source code

Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms (MA, ACO, SE, JM), pp. 3–20.

OOPSLA-2015-MarrD #self

Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters (SM, SD), pp. 821–839.

OOPSLA-2015-SrinivasanR

Partial evaluation of machine code (VS, TWR), pp. 860–879.

GPCE-2015-LeissaBHMS #domain-specific language #online

Shallow embedding of DSLs via online partial evaluation (RL, KB, SH, RM, PS), pp. 11–20.

LOPSTR-2014-SinghK #detection #java

Partial Evaluation for Java Malware Detection (RS, AK), pp. 133–147.

PEPM-2014-Scholz #case study #compilation #experience

Partial evaluation as universal compiler tool: experiences from the SAC Eco system (SBS), pp. 95–96.

PPDP-2014-AsaiFTZ #specification

A Type Theoretic Specification of Partial Evaluation (KA, LF, PT, YZ), pp. 57–68.

ISSTA-2014-TrippFP #analysis #hybrid #javascript #security #web

Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.

DAC-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.

TOOLS-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.

PEPM-2012-GiacobazziJM #obfuscation

Obfuscation by partial evaluation of distorted interpreters (RG, NDJ, IM), pp. 63–72.

ICSE-2012-RazaviK #model transformation

Partial evaluation of model transformations (AR, KK), pp. 562–572.

ICLP-J-2012-Vidal #independence #logic programming #source code

Annotation of logic programs for independent AND-parallelism by partial evaluation (GV), pp. 583–600.

OOPSLA-2011-ShaliC #hybrid

Hybrid partial evaluation (AS, WRC), pp. 375–390.

PEPM-J-2007-CaretteK11a

Partial evaluation of Maple (JC, MK), pp. 469–491.

PEPM-2011-BolzCFLPR #jit

Allocation removal by partial evaluation in a tracing JIT (CFB, AC, MF, ML, SP, AR), pp. 43–52.

PEPM-2011-Mogensen

Partial evaluation of the reversible language janus (TÆM), pp. 23–32.

ICFP-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.

LOPSTR-2010-Vidal #approach #hybrid #logic programming #source code

A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (GV), pp. 200–214.

PEPM-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.

LOPSTR-2009-BolzLR #prolog #towards

Towards Just-In-Time Partial Evaluation of Prolog (CFB, ML, AR), pp. 158–172.

LOPSTR-2009-Vidal #declarative #scalability #source code #towards

Towards Scalable Partial Evaluation of Declarative Programs (GV), pp. 1–4.

SCAM-2008-Gomez-ZamalloaAP #composition #decompiler #low level

Modular Decompilation of Low-Level Code by Partial Evaluation (MGZ, EA, GP), pp. 239–248.

LOPSTR-2008-AlbertGP #bytecode #generative #testing

Test Data Generation of Bytecode by CLP Partial Evaluation (EA, MGZ, GP), pp. 4–23.

LOPSTR-2008-LeuschelV #logic programming #performance #scalability #source code

Fast Offline Partial Evaluation of Large Logic Programs (ML, GV), pp. 119–134.

QAPL-2008-OchoaP

Oracle-Based Partial Evaluation (CO, GP), pp. 145–161.

ICLP-2008-Vidal #analysis #effectiveness #predict

Trace Analysis for Predicting the Effectiveness of Partial Evaluation (GV), pp. 790–794.

IFL-2007-HerhutSBGT #contract #dependent type #proving #towards

From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.

LOPSTR-2007-AlbertGGP #online #type system

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (EA, JPG, MGZ, GP), pp. 23–42.

LOPSTR-2007-FischerSTV #functional #lazy evaluation #source code

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.

PADL-2007-KloseOL

Partial Evaluation of Pointcuts (KK, KO, ML), pp. 320–334.

PEPM-2007-CaretteK

Partial evaluation of Maple (JC, MK), pp. 41–50.

PEPM-2007-OchoaP

Poly-controlled partial evaluation in practice (CO, GP), pp. 164–173.

PEPM-2007-Vidal #logic programming #source code #termination

Quasi-terminating logic programs for ensuring the termination of partial evaluation (GV), pp. 51–60.

VLDB-2006-BunemanCFK #distributed #query #using

Using Partial Evaluation in Distributed Query Evaluation (PB, GC, WF, AK), pp. 211–222.

LOPSTR-2006-ArroyoRSV #graph #using

Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs (GA, JGR, JS, GV), pp. 60–76.

LOPSTR-2006-LeuschelCE #logic programming #online #source code #using

Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques (ML, SJC, DE), pp. 43–59.

PEPM-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.

PEPM-2006-ThompsonM

Bit-level partial evaluation of synchronous circuits (ST, AM), pp. 29–37.

PPDP-2006-PueblaO

Poly-controlled partial evaluation (GP, CO), pp. 261–271.

ICFP-2005-RamosSV #performance #source code

Fast narrowing-driven partial evaluation for inductively sequential programs (JGR, JS, GV), pp. 228–239.

LOPSTR-2005-AlbertPG #logic programming #source code

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (EA, GP, JPG), pp. 115–132.

PPDP-2005-TombF #automation #type inference

Automatic type inference via partial evaluation (AT, CF), pp. 106–116.

ICFP-2004-HermanM #embedded #static analysis

Improving the static analysis of embedded languages via partial evaluation (DH, PM), pp. 16–27.

PEPM-2004-Asai

Offline partial evaluation for shift and reset (KA), pp. 3–14.

PEPM-2004-Debois #imperative #optimisation

Imperative program optimization by partial evaluation (SD), pp. 113–122.

POPL-2004-BalatCF #normalisation #λ-calculus

Extensional normalisation and type-directed partial evaluation for typed λ calculus with sums (VB, RDC, MPF), pp. 64–76.

DATE-v1-2004-SchaumontV #interactive

Interactive Cosimulation with Partial Evaluation (PS, IV), pp. 642–647.

PEPM-2003-AgerDR #pattern matching #performance #string

Fast partial evaluation of pattern matching in strings (MSA, OD, HKR), pp. 3–9.

PEPM-2003-GluckKH

Transforming interpreters into inverse interpreters by partial evaluation (RG, YK, TH), pp. 10–19.

PEPM-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.

SAS-2003-Thiemann #continuation

Continuation-Based Partial Evaluation without Continuations (PT), pp. 366–382.

GPCE-2003-ElphickLC #matlab

Partial Evaluation of MATLAB (DE, ML, SJC), pp. 344–363.

ASIA-PEPM-2002-AgerDR #on the #string

On obtaining Knuth, Morris, and Pratt’s string matcher by partial evaluation (MSA, OD, HKR), pp. 32–46.

LOPSTR-2002-Vidal #declarative #multi #slicing #source code

Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation (GV), pp. 219–237.

PEPM-2002-Asai #online

Online partial evaluation for shift and reset (KA), pp. 19–30.

PEPM-2002-MeurLC #programming language #towards

Towards bridging the gap between programming languages and partial evaluation (AFLM, JLL, CC), pp. 9–18.

GPCE-2002-BalatD

Memoization in Type-Directed Partial Evaluation (VB, OD), pp. 78–92.

WCRE-2001-BaxterM #preprocessor

Preprocessor Conditional Removal by Simple Partial Evaluation (IDB, MM), pp. 281–290.

LOPSTR-2000-AlbertAV #effectiveness

Measuring the Effectiveness of Partial Evaluation (EA, SA, GV).

LOPSTR-J-2000-AlbertAV #effectiveness #functional #logic

Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages (EA, SA, GV), pp. 103–124.

PEPM-2000-GrobauerY

The Second Futamura Projection for Type-Directed Partial Evaluation (BG, ZY), pp. 22–32.

PEPM-2000-SumiiK #approach

Online-and-Offline Partial Evaluation: A Mixed Approach (ES, NK), pp. 12–21.

CC-2000-Thiemann #adaptation #compilation #source code

Compiling Adaptive Programs by Partial Evaluation (PT), pp. 264–278.

FLOPS-1999-BartheS #calculus

Partial Evaluation and Non-inference for Object Calculi (GB, BPS), pp. 53–67.

PEPM-1999-Jay #experience #source code

Partial Evaluation of Shaped Programs: Experience with FISh (CBJ), pp. 147–158.

PEPM-1999-PueblaHG #abstract interpretation #framework #integration

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework (GP, MVH, JPG), pp. 75–84.

PEPM-1999-Veldhuizen #c++

C++ Templates as Partial Evaluation (TLV), pp. 13–18.

PPDP-1999-Filinski #semantics

A Semantic Account of Type-Directed Partial Evaluation (AF), pp. 378–395.

RTA-1998-DanvyR #higher-order

Higher-Order Rewriting and Partial Evaluation (OD, KHR), pp. 286–301.

FLOPS-1998-Danvy #online

Online Type-Directed Partial Evaluation (OD), pp. 271–295.

ECOOP-1998-MasuharaY #concurrent #design

Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language (HM, AY), pp. 418–439.

LOPSTR-1997-LafaveG #constraints #functional #logic programming #source code

Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs (LL, JPG), pp. 168–188.

PEPM-1997-AsaiMY #call-by #λ-calculus

Partial Evaluation of Call-by-Value λ-Calculus with Side-Effects (KA, HM, AY), pp. 12–21.

PEPM-1997-Augustsson

Partial Evaluation in Aircraft Crew Planning (LA), pp. 127–136.

PEPM-1997-BeshersF #compilation #generative #performance #using #visualisation

Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation (CB, SF), pp. 107–115.

PEPM-1997-Debray #bound

Resource-Bounded Partial Evaluation (SKD), pp. 179–192.

PEPM-1997-GenglerM #self #π-calculus

Self-Applicable Partial Evaluation for the π-Calculus (MG, MM), pp. 36–46.

PEPM-1997-HeldalH #compilation

Partial Evaluation and Separate Compilation (RH, JH), pp. 1–11.

PEPM-1997-MullerVM #optimisation #protocol #scalability

Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol (GM, ENV, RM), pp. 116–126.

PLDI-1997-SperberT #compilation

Two for the Price of One: Composing Partial Evaluation and Compilation (MS, PT), pp. 215–225.

SAS-1997-Jones #abstract interpretation #overview

Combining Abstract Interpretation and Partial Evaluation (Brief Overview) (NDJ), pp. 396–405.

ASE-1997-MarletTC #architecture #implementation #performance

Mapping Software Architectures to Efficient Implementations via Partial Evaluation (RM, ST, CC), pp. 183–192.

ASF+SDF-1997-BorovanskyK

Strategies of ELAN: meta-interpretation and partial evaluation (PB, HK), p. 2.

EDTC-1997-WalrathVB #analysis #performance #using #verification

Performance verification using partial evaluation and interval analysis (JW, RV, WB), p. 622.

PLDI-1996-SperberT #compilation

Realistic Compilation by Partial Evaluation (MS, PT), pp. 206–214.

PLILP-1996-DanvyV #case study #compilation #semantics

Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (OD, RV), pp. 182–197.

PLILP-1996-Thiemann #implementation

Implementing Memoization for Partial Evaluation (PT), pp. 198–212.

POPL-1996-Danvy

Type-Directed Partial Evaluation (OD), pp. 242–257.

SAS-1996-AndersenH #analysis #functional #higher-order #termination

Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language (PHA, CKH), pp. 67–82.

CC-1996-Salomon #maintenance #reuse #usability #using

Using Partial Evaluation in Support of Portability, Reusability, and Maintainability (DJS), pp. 208–222.

ESOP-1996-AlpuenteFV #functional #logic programming #source code

Narrowing-Driven Partial Evaluation of Functional Logic Programs (MA, MF, GV), pp. 45–61.

ESOP-1996-Bechet #encoding #using

Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages (DB), pp. 77–91.

OOPSLA-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.

PEPM-1995-Doh

Action Transformation by Partial Evaluation (KGD), pp. 230–240.

PEPM-1995-LeuschelS #towards

Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters (ML, DDS), pp. 253–263.

PEPM-1995-Mogensen #online #self #λ-calculus

Self-applicable Online Partial Evaluation of Pure λ Calculus (TÆM), pp. 39–44.

PLILP-1995-HengleinS #semantics

A Semantic Model of Binding Times for Safe Partial Evaluation (FH, DS), pp. 299–320.

LFP-1994-LawallD

Continuation-Based Partial Evaluation (JLL, OD), pp. 227–238.

LOPSTR-1994-Leuschel

Partial Evaluation of the “Real Thing” (ML), pp. 122–137.

PEPM-1994-BaierGZ #fortran #source code

Partial Evaluation of Numerical Programs in Fortran (RB, RG, RZ), pp. 119–132.

PEPM-1994-BerlinS #experience #tool support

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience (AAB, RJS), pp. 133–141.

PEPM-1994-BondorfD

Improving CPS-Based Partial Evaluation: Writing Cogen by Hand (AB, DD), pp. 1–9.

PEPM-1994-DanvyMP

The Essence of Eta-Expansion in Partial Evaluation (OD, KM, JP), pp. 11–20.

PEPM-1994-Jones

Dictionary-Free Overloading by Partial Evaluation (MPJ), pp. 107–117.

ESOP-1994-SorensenGJ #deforestation #supercompilation #towards

Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.

ILPS-1994-Jones #abstract interpretation #functional #logic programming

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming (NDJ), pp. 17–22.

FPCA-1993-BondorfP #compilation

Compiling Actions by Partial Evaluation (AB, JP), pp. 308–320.

CAiSE-1993-BlazyF #comprehension #fortran #source code #symbolic computation

Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs (SB, PF), pp. 184–198.

SEKE-1993-BlazyF #comprehension #fortran #source code

Partial Evaluation for the Understanding of FORTRAN Programs (SB, PF), pp. 517–525.

LOPSTR-1993-Waal #power of

The Power of Partial Evaluation (DAdW), pp. 113–123.

PEPM-1993-Consel93a #higher-order

A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages (CC), pp. 145–154.

PEPM-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.

PEPM-1993-Lawall #induction #proving #using

Proofs by Structural Induction using Partial Evaluation (JLL), pp. 155–166.

PEPM-1993-Malmkjaer #performance #towards

Towards Efficient Partial Evaluation (KM), pp. 33–43.

PEPM-1993-Mossin #parsing

Partial Evaluation of General Parsers (CM), pp. 13–21.

POPL-1993-ConselD #tutorial

Tutorial Notes on Partial Evaluation (CC, OD), pp. 493–501.

ML-1992-ClarkH #integration #lazy evaluation

Lazy Partial Evaluation: An Integration of Explanation-Based Generalization and Partial Evaluation (PC, RCH), pp. 82–91.

LOPSTR-1992-Giacomo #query

Intensional Query Answering: An Application of Partial Evaluation (GDG), pp. 132–150.

LOPSTR-1992-LammaM

A Rationalisation of the ATMS in Terms of Partial Evaluation (EL, PM), pp. 118–131.

PEPM-1992-AndersenG #analysis

Speedup Analysis in Partial Evaluation: Preliminary Results (LOA, CKG), pp. 1–7.

PEPM-1992-KatzW #towards

Towards a New Perspective on Partial Evaluation (MK, DW), pp. 29–37.

PEPM-1992-Mogensen #self #λ-calculus

Self-applicable Partial Evaluation for Pure λ Calculus (TÆM), pp. 116–121.

POPL-1992-Jorgensen #compilation #generative #lazy evaluation

Generating a Compiler for a Lazy Language by Partial Evaluation (JJ), pp. 258–268.

POPL-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.

WSA-1992-Bechet #interactive

Partial Evaluation of Interaction Nets (DB), pp. 331–338.

WSA-1992-QueinnecG #backtracking #pattern matching

Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack (CQ, PG), pp. 109–117.

WSA-1992-Saint-James #compilation #industrial

Partial Evaluation in an Industrial Context: Compiling for Endomorphic Machines (ESJ), pp. 102–108.

CC-1992-Andersen #automation #c #compilation #generative

Partial Evaluation of C and Automatic Compiler Generation (LOA), pp. 251–257.

FPCA-1991-WeiseCRS #automation #online

Automatic Online Partial Evaluation (DW, RC, ER, SS), pp. 165–191.

LOPSTR-1991-Mill

Pruning Operators for Partial Evaluation (PMM), pp. 183–204.

LOPSTR-1991-Ross #prolog #semantics #source code

Semantics-based Partial Evaluation of Prolog Programs (BJR), pp. 221–237.

PEPM-1991-HickeyS #towards

Toward the Partial Evaluation of CLP Languages (TJH, DAS), pp. 43–51.

PEPM-1991-HolstG #lazy evaluation

Partial Evaluation is Fuller Laziness (CKH, CKG), pp. 223–233.

PEPM-1991-KhooS #compilation #inheritance #using

Compiling Inheritance using Partial Evaluation (SCK, RSS), pp. 211–222.

PEPM-1991-Lisper #algorithm #detection

Detecting Static Algorithms by Partial Evaluation (BL), pp. 31–42.

PEPM-1991-Meyer #imperative

Techniques for Partial Evaluation of Imperative Languages (UM), pp. 94–105.

PEPM-1991-ShermanSD #equation #optimisation #source code #using

Optimization of Equational Programs Using Partial Evaluation (DS, RS, ID), pp. 72–82.

PEPM-1991-Smith #constraints #logic programming #pattern matching #programming language

Partial Evaluation of Pattern Matching in Constraint Logic Programming Languages (DAS), pp. 62–71.

PEPM-1991-Sundaresh #incremental #source code #using

Building Incremental Programs using Partial Evaluation (RSS), pp. 83–93.

PLDI-1991-ConselK

Parameterized Partial Evaluation (CC, SCK), pp. 92–106.

POPL-1991-SundareshH #compilation #incremental

Incremental Compilation via Partial Evaluation (RSS, PH), pp. 1–13.

WSA-1991-ColbyL #implementation

An Implementation of Parametrized Partial Evaluation (CC, PL), pp. 82–89.

WSA-1991-DurandSS #equation #source code

Partial Evaluation of an Intermediate Language for Equational Programs (ID, DS, RS), pp. 98–106.

WSA-1991-NielBV #functional #problem #representation

Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem (ADN, EB, KDV), pp. 90–97.

ICALP-1990-Jones #self

Partial Evaluation, Self-Application and Types (NDJ), pp. 639–659.

LFP-1990-Berlin

Partial Evaluation Applied to Numerical Computation (AB), pp. 139–150.

NACLP-1990-BenkerimiL #logic programming #source code

A Partial Evaluation Procedure for Logic Programs (KB, JWL), pp. 343–358.

NACLP-1990-BugliesiLM #logic

Partial Evaluation for Hierarchies of Logic Theories (MB, EL, PM), pp. 359–376.

NACLP-1990-Sahlin #approach #automation #prolog

The Mixtus Approach to Automatic Partial Evaluation of Full Prolog (DS), pp. 377–398.

NACLP-1990-SmithH

Partial Evaluation of a CLP Language (DAS, TJH), pp. 119–138.

NACLP-1989-BugliesiR #prolog

Partial Evaluation in Prolog: Some Improvements about Cut (MB, FR), pp. 645–660.

NACLP-1989-FurukawaFS #performance

Deriving an Efficient Production System by Partial Evaluation (KF, HF, TS), pp. 661–674.

ESOP-1988-Consel #empirical

New Insights into Partial Evaluation: the SCHISM Experiment (CC), pp. 236–246.

JICSCP-1988-FujitaOF88 #constraints #haskell #source code

Partial Evaluation of GHC Programs Based on the UR-set with Constraints (HF, AO, KF), pp. 924–941.

RTA-1985-JonesSS #compilation #empirical #generative

An Experiment in Partial Evaluation: The Generation of a Compiler Generator (NDJ, PS, HS), pp. 124–140.

POPL-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.