
MTT
 Referenced in 22 articles
[sw09783]
 outside the scope of current termination tools. The operational meaning of such features is often...

MULKNAP
 Referenced in 37 articles
[sw06467]
 above for pruning subproblems, and at each terminal subproblem, we solve MKP exactly by calling ... MULKNAP code [{it D. Pisinger}, Eur. J. Oper...

SCIFF
 Referenced in 16 articles
[sw20513]
 declarative and operational semantics of the SCIFF language, and the termination, soundness, and completeness results...

LSMR
 Referenced in 69 articles
[sw12940]
 being sparse or a fast linear operator. LSMR is based on the GolubKahan bidiagonalization ... monotonic) it is safer to terminate LSMR early. We also report some experiments with reorthogonalization...

DART
 Referenced in 71 articles
[sw07260]
 most general environment the program can operate in; and (3) dynamic analysis ... program crashes, assertion violations, and nontermination. Preliminary experiments to unit test several examples...

DCVALID
 Referenced in 14 articles
[sw20416]
 multiterminal BDD based representation of automata and has implemented algorithms for operations on automata...

Goldilocks
 Referenced in 10 articles
[sw12806]
 caught, the operation, thread, or program causing it can be terminated gracefully. Alternatively, the DataRaceException...

Coinductive
 Referenced in 7 articles
[sw28537]
 infinite streams, coinductive terminated lists, coinductive resumptions, a library of operations on coinductive lists...

OFMC
 Referenced in 27 articles
[sw09466]
 with support for algebraic properties of cryptographic operators and with a simple notation for different ... constraintbased techniques, which are correct and terminating. The two major techniques are the lazy ... algebraic theory of the employed cryptographic operators, which can be specified as part...

CARIBOO
 Referenced in 14 articles
[sw10064]
 Induction Based termination prOOfs), allows proving termination under specific reduction strategies, which becomes of special ... evaluation process of ELAN, local strategies on operators, provided in OBJlike languages, and allowing ... avoid evaluations known to be non terminating for the standard strategy, to make strategy computations...

KernelLEAF
 Referenced in 28 articles
[sw08982]
 cope with partial (undefined or nonterminating) functions. This is achieved by introducing the distinction ... different behaviour with respect to continuity. The operational semantics (based on SLDresolution) is proved...

PEBBL
 Referenced in 12 articles
[sw13809]
 customized to support applicationspecific operations, while managing the generic aspects of branch and bound ... pool across multiple processors, load balancing, and termination detection. PEBBL is designed to provide highly...

DIASPORA
 Referenced in 14 articles
[sw02659]
 query completion, handling query rewriting, supporting query termination and preventing multiple computations of a query ... hyperlink framework. The DIASPORA system is currently operational and is undergoing testing on our campus...

PortLib
 Referenced in 1 article
[sw37941]
 scheduling problem for feeder vessels in multiterminal ports, which has been defined in close ... faced by the carriers in scheduling the operations. Given a fleet of feeder vessels, which ... number of operations to perform at different terminals, and each terminal can only serve ... time, the task is to define an operational schedule, i.e. a starting time for each...

VMEXT
 Referenced in 5 articles
[sw20981]
 terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (nonleaf...

CSP
 Referenced in 1 article
[sw08678]
 determinism and nontermination. We define an instrumented operational semantics that generates as a side...

CRC 3
 Referenced in 9 articles
[sw09782]
 specifications. The ChurchRosser property, together with termination, is essential for an equational specification ... initial algebra, mathematical semantics, and its operational semantics by rewriting. Checking this property for expressive...

LPTP
 Referenced in 7 articles
[sw01822]
 These can then be used to prove termination and correctness properties of programs. The main ... extension is an adequate axiomatization of the operational semantics of pure Prolog with built...

Meddly
 Referenced in 3 articles
[sw29140]
 Meddly (Multiterminal and Edgevalued Decision Diagram LibrarY) is a C++ library that natively ... configurable garbage collection, and many builtin operations (with compute table support...

RackEnumeration
 Referenced in 4 articles
[sw34534]
 Coxeter process. We prove that the process terminates if and only if (mathcal ... which case, the procedure outputs an operation table for the finite rack. We conclude with...