Live briefing
Everything about Partial evaluation
Technique for program optimization
In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward application is to produce new programs that run faster than the originals while being guaranteed to behave in the same way. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: Partial evaluationA 5-minute orientation
- Skim a recent paper: Photovoltaic Partial Shading Performance Evaluation With a DSTATCOM ControllerInfluential work since 2022
- Pick up a classic book: MedicareThe most-reprinted book on the subject
- Read the landmark paper: Presurgical evaluation for partial epilepsyCited 267 times
- Go sideways: Meta-tracingA closely related topic
- Go sideways: Meta-circular evaluatorA closely related topic
đź“– Definitions
Noun A technique for program optimization by specialization, so as to produce new programs which run faster than the originals while guaranteed to behave in the same way.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Presurgical evaluation for partial epilepsy
Partial evaluation in logic programming
An introduction to partial evaluation
Explanation-based generalisation = partial evaluation
Partial evaluation of functional logic programs
Compiling scientific code using partial evaluation
Parameterized partial evaluation
Accurate evaluation of partial molar properties
🆕 Influential since 2022
Photovoltaic Partial Shading Performance Evaluation With a DSTATCOM Controller
Resilience evaluation for water distribution system based on partial nodes’ hydraulic information
Dehazed Image Quality Evaluation: From Partial Discrepancy to Blind Perception
Performance evaluation of different photovoltaic array configurations under partial shading
Prospective evaluation of canine partial limb amputation with socket prostheses
đź“š Books worth reading
- 📕MedicareUnited States. General Accounting Office · 1986
Mathematical models in photographic scienceAvner Friedman, David Ross · 2002- 📕Model Order Reduction : Volume 1Peter Benner, Wilhelmus Schilders · 2020
- 📕Clinical evaluation of temporary adhesive resin bonded anterior acrylic bridgesCarl C. Eckhardt, University of Michigan. School of Dentistry · 1978
- 📕Forensic audiologyJoan M. Armbruster · 1982
Inverse Stefan ProblemsN. L. Gol'dman · 1997
Small Viscosity and Boundary Layer MethodsGuy Métivier · 2004
Advances in doublet mechanicsMauro Ferrari · 1997
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Meta-tracing Meta-tracing is a mostly automatic transformation that takes an interpreter as input and produces a tracing just-in-time compiler as output. Since interpreters…
- Meta-circular evaluator In computing, a meta-circular evaluator (MCE) or meta-circular interpreter (MCI) is an interpreter which defines each feature of the interpreted language…
- Incremental computing Incremental computing, also known as incremental computation, is a software feature which, whenever a piece of data changes, attempts to save time by only…
- Tracing just-in-time compilation Tracing just-in-time compilation is a technique used by virtual machines to optimize the execution of a program at runtime. This is done by recording a…
- High-level programming language A high-level programming language is a programming language with strong abstraction from the details of the computer. In contrast to low-level programming…
- Read–eval–print loop A read–eval–print loop (REPL), also termed an interactive toplevel or language shell, is a simple interactive computer programming environment that takes…
- Self-hosting (compilers) In computer programming, self-hosting is the use of a program as part of the toolchain or operating system that produces new versions of that same program—for…
- Code as data In computer science, the expression code as data refers to the idea that source code written in a programming language can be manipulated as data, such…