• Rcpp

  • Referenced in 217 articles [sw08385]
  • functions into C++. Sugar takes advantage of lazy evaluation and expression templates to achieve great...
  • BLAST

  • Referenced in 128 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is a static software verification tool...
  • ML-KNN

  • Referenced in 62 articles [sw12923]
  • lazy learning approach to multi-label learning. Multi-label learning originated from the investigation ... sets. In this paper, a multi-label lazy learning approach named ML-KNN is presented...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • uses narrowing as the basis of a lazy reduction semantics which embodies both rewriting...
  • PSEUDO

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

  • Referenced in 55 articles [sw09812]
  • constructor based rewriting logic with lazy non-deterministic functions as the core notion. Other aspects...
  • WebGraph

  • Referenced in 48 articles [sw30097]
  • compressed graph without actually decompressing it, using lazy techniques that delay the decompression until...
  • OFMC

  • Referenced in 27 articles [sw09466]
  • terminating. The two major techniques are the lazy intruder, which is a symbolic representation ... general search-reduction technique that integrates the lazy intruder with ideas from partial-order reduction...
  • MiniMaxSat

  • Referenced in 34 articles [sw09732]
  • based and subtraction-based lower bounding; and lazy propagation with the two-watched literals scheme...
  • Leibniz

  • Referenced in 33 articles [sw12871]
  • discovery from data - data estimation by a lazy learner - dimension reduction of models - decomposition...
  • QuBE++

  • Referenced in 27 articles [sw00766]
  • first QBF reasoning engine that uses lazy data structures both for unit clauses propagation...
  • SmallCheck

  • Referenced in 19 articles [sw09736]
  • SmallCheck and Lazy SmallCheck: Automatic exhaustive testing for small values. This paper describes two Haskell ... QuickCheck, these testing libraries SmallCheck and Lazy SmallCheck also use type-based generators to obtain...
  • CoALP

  • Referenced in 18 articles [sw16105]
  • Such definitions give rise to questions of lazy corecursive derivations and parallelism, as execution ... CoALP, of logic programming, characterised by guarded lazy corecursion and parallelism...
  • Spartacus

  • Referenced in 14 articles [sw12426]
  • including a new technique that we call lazy branching. We evaluate the practical impact ... pattern-based blocking and lazy branching for the basic modal logic K and observe high...
  • Mjollnir

  • Referenced in 14 articles [sw38338]
  • Mjollnir: Quantifier elimination by lazy model enumeration. We propose a quantifier elimination scheme based ... nested lazy model enumeration through SMT-solving, and projections. This scheme may be applied...
  • Hood

  • Referenced in 18 articles [sw13680]
  • small post-mortem debugger for the lazy functional language Haskell. It is based...
  • LOOK

  • Referenced in 12 articles [sw02276]
  • LOOK: A lazy object-oriented kernel design for geometric computation. We describe and discuss ... floating-point filter techniques and a lazy evaluation scheme with the exact number types provided...
  • Freja

  • Referenced in 17 articles [sw13678]
  • three systems for tracing and debugging lazy functional programs. In this paper we compare three...
  • Fudgets

  • Referenced in 16 articles [sw10077]
  • Fudgets - a graphical user interface in a lazy functional language. Fudgets is primarily a Graphical...
  • Sparkle

  • Referenced in 14 articles [sw09803]
  • Clean and has a semantics based on lazy graph-rewriting. This allows reasoning to take...