• MiniML

  • Referenced in 47 articles [sw29625]
  • addition, Mini-ML□ 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]
  • object-oriented front-end 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 partially-ordered 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 equi-propagation 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 three-address...
  • BEMECH

  • Referenced in 114 articles [sw10847]
  • book are: a) the derivation of partial differential equations that describe elasto-plasticity ... 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 finite-state 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 ... black-box optimization problem with costly evaluation. This paper describes the solution methodology implemented...