
MiniML
 Referenced in 47 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 42 articles
[sw12089]
 transformations such as program specialization, slicing, partial evaluation of a program, program parallelization (taking granularity...

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

PAKCS
 Referenced in 28 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 43 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 12 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 14 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 11 articles
[sw15441]
 algorithm design, deductive inference, program simplification, partial evaluation, finite differencing optimizations, data type refinement, compilation...

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

BEE
 Referenced in 8 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...

BEMECH
 Referenced in 114 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...

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

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

rstan
 Referenced in 33 articles
[sw16103]
 accurately evaluate gradients without burdening the user with the need to derive the partial derivatives...

PESTS
 Referenced in 2 articles
[sw35864]
 PESTS (Partial Evaluator of Symbolic Transition Systems) is a tool suite for the partial evaluation ... Letterio Galletta, `From Natural Projection to Partial Model Checking and Back’. TACAS 2018; Specification decomposition...

Benchmarking
 Referenced in 25 articles
[sw14630]
 directional efficiency). Peers and slacks are available, partial price information can be included, and optimal ... cost, revenue and profit can be calculated. Evaluation of mergers is also supported. Methods...

RBFOpt
 Referenced in 6 articles
[sw28416]
 oracle is expensive to evaluate, so that estimating partial derivatives by finite differences is impractical ... blackbox optimization problem with costly evaluation. This paper describes the solution methodology implemented...