-
Rcpp
- Referenced in 192 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 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 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...
-
GASP
- Referenced in 13 articles
[sw07096]
- GASP: Answer set programming with lazy grounding In recent years, Answer Set Programming has gained...