• Rcpp

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

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

  • Referenced in 58 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...
  • TOY

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

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

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

  • Referenced in 26 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 31 articles [sw12871]
  • discovery from data - data estimation by a lazy learner - dimension reduction of models - decomposition...
  • QuBE++

  • Referenced in 28 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 17 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...
  • 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...
  • OpenFst

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