Your English writing platform
Discover LudwigSuggestions(1)
Dictionary
partial evaluation
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.
Exact(53)
We have designed and implemented a binding-time analysis for an imperative language, and integrated it into our partial evaluator for C, called Tempo (Consel et al., in: Danvy, Gluck, Thiemann (Eds.), Partial Evaluation, Internat.
"Partial Evaluation for Optimized Compilation of Actor-Oriented Models".
"Partial Evaluation for Optimized Compilation of Actor-oriented Models".
"A Code Generation Framework for Actor-Oriented Models with Partial Evaluation".
I use partial evaluation as an optimized compilation technique for actor-oriented models.
We use partial evaluation as an optimized compilation technique for actor-oriented models.
Similar(7)
Partial evaluations assess either costs or consequences of multiple interventions or both costs and consequences of a single intervention.
Resource and cost information within the studies was evident in two studies, allowing for some comparison of resource information between TC models however both were considered partial evaluations using the Drummond checklist.
The list contains 39 full evaluations and 17 partial evaluations.
Otherwise, they were considered partial evaluations, for example, cost-identification or cost-comparison studies.
Partial evaluations only compare costs, or report costs and consequences for only one option.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com