
MiniML
 Referenced in 41 articles
[sw29625]
 addition, MiniML□ can also express immediate evaluation and sharing of code across multiple stages ... time code generation as well as partial evaluation...

CiaoPP
 Referenced in 40 articles
[sw12089]
 transformations such as program specialization, slicing, partial evaluation of a program, program parallelization (taking granularity...

GF
 Referenced in 31 articles
[sw13667]
 outlines of the main algorithms: partial evaluation and parser generation. The paper concludes by brief...

PAKCS
 Referenced in 26 articles
[sw13688]
 objectoriented frontend for Curry, partial evaluators, database applications, HTML programming with dynamic...

PARLOG
 Referenced in 39 articles
[sw23764]
 evaluated in parallel with shared variables acting as communication channels for the passing of partial ... solutions relation calls is evaluated without communication of partial bindings, but all the solutions ... parallel exploration of the different evaluation paths. A set constructor provides the main interface between...

TOPOS
 Referenced in 38 articles
[sw02206]
 successively adding a new piece to a partial solution, i.e. to the set of pieces ... functions are also proposed to evaluate and compare partial solutions. A total of 126 variants...

LOGEN
 Referenced in 11 articles
[sw02901]
 LOGEN is an offline partial evaluation system for Prolog written using the so called ”cogen ... specialised produces a specialised partial evaluator for that program. This partial evaluator is called...

VipTool
 Referenced in 13 articles
[sw13755]
 Verification of Information systems by evaluating partiallyordered Petri net runs) that was sponsored ... based on the generation and evaluation of partially ordered execution runs (processes) instead of totally...

WSDFU
 Referenced in 9 articles
[sw02362]
 theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful ... than classical partial evaluators but harder to implement and control. We have implemented an experimental...

KIDS
 Referenced in 10 articles
[sw15441]
 algorithm design, deductive inference, program simplification, partial evaluation, finite differencing optimizations, data type refinement, compilation...

BEE
 Referenced in 6 articles
[sw16989]
 primarily on equipropagation and on partial evaluation, and also on the idea that...

Jimple
 Referenced in 3 articles
[sw18636]
 Partial evaluation for Java malware detection. The fact that Java is platform independent gives hackers ... This paper shows how to apply partial evaluation to remove these obfuscations and thereby improve ... matching. The paper presents a partial evaluator for Jimple, which is a typed threeaddress...

LPG
 Referenced in 12 articles
[sw20690]
 particular subgraphs of the planning graph representing partial plans. The search steps are certain graph ... define the search neighborhood and to evaluate its elements using a parametrized function, where ... inconsistencies in the current partial plan, and are dynamically evaluated during search using discrete Lagrange...

Clara
 Referenced in 4 articles
[sw14035]
 Clara: a framework for partially evaluating finitestate runtime monitors ahead of time. Researchers have...

BEMECH
 Referenced in 86 articles
[sw10847]
 book are: a) the derivation of partial differential equations that describe elastoplasticity ... method; d) the description of methods for evaluating singularities and solving nonlinear systems of equations...

RStan
 Referenced in 23 articles
[sw13990]
 accurately evaluate gradients without burdening the user with the need to derive the partial derivatives...

partials
 Referenced in 3 articles
[sw10760]
 Maple V commands for the evaluation of partial derivatives, functional derivatives and integrals containing...

PUMA
 Referenced in 26 articles
[sw22571]
 substantially. PUMA thus allows for the rapid evaluation of novel models. An introduction ... Multilevel Partition of Unity Method for Elliptic Partial Differential Equations, Volume 29 of Lecture Notes...

FuzzME
 Referenced in 2 articles
[sw00312]
 Within the goals tree, aggregation of partial fuzzy evaluations is done either...

RANSAC
 Referenced in 1 article
[sw28047]
 behaviour of ants, rooted in the partial evaluation of an objective function and direct communication...