• MTT

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

  • Referenced in 35 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 15 articles [sw20513]
  • declarative and operational semantics of the SCIFF language, and the termination, soundness, and completeness results...
  • LSMR

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

  • Referenced in 14 articles [sw20416]
  • multi-terminal BDD based representation of automata and has implemented algorithms for operations on automata...
  • DART

  • Referenced in 68 articles [sw07260]
  • most general environment the program can operate in; and (3) dynamic analysis ... program crashes, assertion violations, and non-termination. Preliminary experiments to unit test several examples...
  • Goldilocks

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

  • Referenced in 6 articles [sw28537]
  • infinite streams, coinductive terminated lists, coinductive resumptions, a library of operations on coinductive lists...
  • OFMC

  • Referenced in 26 articles [sw09466]
  • with support for algebraic properties of cryptographic operators and with a simple notation for different ... constraint-based 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 OBJ-like languages, and allowing ... avoid evaluations known to be non terminating for the standard strategy, to make strategy computations...
  • Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • cope with partial (undefined or non-terminating) functions. This is achieved by introducing the distinction ... different behaviour with respect to continuity. The operational semantics (based on SLD-resolution) is proved...
  • 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...
  • PEBBL

  • Referenced in 10 articles [sw13809]
  • customized to support application-specific 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...
  • VMEXT

  • Referenced in 5 articles [sw20981]
  • terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf...
  • CSP

  • Referenced in 1 article [sw08678]
  • determinism and non-termination. We define an instrumented operational semantics that generates as a side...
  • CRC 3

  • Referenced in 9 articles [sw09782]
  • specifications. The Church-Rosser 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 2 articles [sw29140]
  • Meddly (Multi-terminal and Edge-valued Decision Diagram LibrarY) is a C++ library that natively ... configurable garbage collection, and many built-in operations (with compute table support...
  • Sibyl

  • Referenced in 6 articles [sw11995]
  • tableau calculus that is provably terminating and complete, provided that the negation normal form ... contains in its scope a universal operator. The works lying Sibyl’s theoretical basis...
  • L1PMA

  • Referenced in 2 articles [sw21492]
  • terminates at a global minimum in at most n3+O(kn2) computer operations, although this...