• CiaoPP

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

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

  • Referenced in 26 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 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 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 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 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...
  • 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 finite-state runtime monitors ahead of time. Researchers have...
  • BEMECH

  • Referenced in 85 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...
  • RStan

  • Referenced in 22 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...
  • FuzzME

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

  • Referenced in 25 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...
  • RANSAC

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

  • Referenced in 1 article [sw07651]
  • potentially subject to improvement by partial evaluation. However, the complexity of the language and compiler...