• Rcpp

  • Referenced in 150 articles [sw08385]
  • into C++. Sugar takes advantage of lazy evaluation and expression templates to achieve great performance...
  • PSEUDO

  • Referenced in 47 articles [sw01152]
  • PSEUDO: Applications of Streams and Lazy Evaluation to Integrable Models. Nature of problem: Determination...
  • LOOK

  • Referenced in 12 articles [sw02276]
  • floating-point filter techniques and a lazy evaluation scheme with the exact number types provided...
  • OpenFst

  • Referenced in 12 articles [sw00653]
  • labels, states, and weights and the lazy evaluation of many of its operations.\parFurther information...
  • ESOLID

  • Referenced in 11 articles [sw15824]
  • system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts ... efficiency of the system based on lazy evaluation, use of floating-point filters, arbitrary floating...
  • Spartacus

  • Referenced in 12 articles [sw12426]
  • technique that we call lazy branching. We evaluate the practical impact of pattern-based blocking...
  • MiniMaxSat

  • Referenced in 34 articles [sw09732]
  • bounding; and lazy propagation with the two-watched literals scheme. Our empirical evaluation...
  • Freja

  • Referenced in 17 articles [sw13678]
  • Hood - A comparative evaluation of three systems for tracing and debugging lazy functional programs ... Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them...
  • LiquidHaskell

  • Referenced in 2 articles [sw27633]
  • verification conditions is unsound under lazy evaluation. When checking an expression, such systems implicitly assume ... eager, but does not hold under lazy, evaluation. Thus, to be sound and precise...
  • GADGET

  • Referenced in 2 articles [sw10600]
  • quickly create optimizations, including an efficient lazy evaluation framework, a powerful and configurable optimization structure...
  • glm-ie

  • Referenced in 2 articles [sw13249]
  • inference and matrix classes with lazy evaluation for convenient modelling. We designed...
  • Pure

  • Referenced in 2 articles [sw25346]
  • rewriting capabilities, dynamic typing, eager and lazy evaluation, lexical closures, built-in list and matrix...
  • Launchbury

  • Referenced in 1 article [sw29252]
  • Launchbury’s Natural Semantics for Lazy Evaluation. In his seminal paper ”Natural Semantics for Lazy...
  • Comet

  • Referenced in 3 articles [sw22899]
  • propose a new Gaussian approach for lazy ensemble evaluation which dynamically decides how many ensemble...
  • MatricesForHomalg

  • Referenced in 1 article [sw27985]
  • homalg project. The MatricesForHomalg package provides lazy evaluated matrices with clever operations for the homalg...
  • Lazy-CSeq

  • Referenced in 5 articles [sw13773]
  • into the encoding. Experimental evaluation shows that our tool outperforms Lazy-CSeq significantly on many...
  • ExactpAdics

  • Referenced in 1 article [sw28240]
  • packages use different methods for lazy evaluation, which we describe and compare in detail...
  • Hugs

  • Referenced in 1 article [sw21487]
  • complete implementation of Haskell 98, including: Lazy evaluation, higher order functions, and pattern matching...
  • SmallCheck

  • Referenced in 17 articles [sw09736]
  • QuickCheck, these testing libraries SmallCheck and Lazy SmallCheck also use type-based generators to obtain ... design and implementation of both libraries and evaluates them in comparison with each other...
  • lazyeval

  • Referenced in 3 articles [sw19352]
  • package lazyeval: Lazy (Non-Standard) Evaluation. An alternative approach to non-standard evaluation using formulas...